Hierarchy For Package io.github.contractautomata.catlib.operations

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • io.github.contractautomata.catlib.operations.CompositionFunction<S1,S,L,T,A> (implements java.util.function.IntFunction<R>)
    • io.github.contractautomata.catlib.operations.ModelCheckingFunction<S1,S,L,T,A>
    • io.github.contractautomata.catlib.operations.MSCACompositionFunction<S1>
  • io.github.contractautomata.catlib.operations.ProjectionFunction<S1> (implements io.github.contractautomata.catlib.operations.interfaces.TriFunction<T,U,V,Z>)
  • io.github.contractautomata.catlib.operations.RelabelingOperator<S1,L> (implements java.util.function.Function<T,R>)
  • io.github.contractautomata.catlib.operations.SynthesisOperator<S1,L1,S,L,T,A> (implements java.util.function.UnaryOperator<T>)
    • io.github.contractautomata.catlib.operations.ModelCheckingSynthesisOperator<S1,S,L,T,A,L2,T2,A2>
      • io.github.contractautomata.catlib.operations.ChoreographySynthesisOperator<S1>
      • io.github.contractautomata.catlib.operations.MpcSynthesisOperator<S1>
      • io.github.contractautomata.catlib.operations.OrchestrationSynthesisOperator<S1>
        • io.github.contractautomata.catlib.operations.ProductOrchestrationSynthesisOperator<S1>
  • io.github.contractautomata.catlib.operations.UnionFunction (implements java.util.function.Function<T,R>)