Hierarchy For All Packages

Package Hierarchies:

• io.github.contractautomata.catlib.automaton,
• io.github.contractautomata.catlib.automaton.label,
• io.github.contractautomata.catlib.automaton.label.action,
• io.github.contractautomata.catlib.automaton.state,
• io.github.contractautomata.catlib.automaton.transition,
• io.github.contractautomata.catlib.converters,
• io.github.contractautomata.catlib.family,
• io.github.contractautomata.catlib.family.converters,
• io.github.contractautomata.catlib.operations,
• io.github.contractautomata.catlib.operations.interfaces,
• io.github.contractautomata.catlib.requirements

Class Hierarchy

• java.lang.Object
  • io.github.contractautomata.catlib.automaton.state.AbstractState<T> (implements io.github.contractautomata.catlib.automaton.Ranked)
    • io.github.contractautomata.catlib.automaton.state.BasicState<T>
    • io.github.contractautomata.catlib.automaton.state.State<T>
  • io.github.contractautomata.catlib.automaton.label.action.Action (implements io.github.contractautomata.catlib.automaton.label.Matchable<T>)
    • io.github.contractautomata.catlib.automaton.label.action.IdleAction
    • io.github.contractautomata.catlib.automaton.label.action.OfferAction
      • io.github.contractautomata.catlib.automaton.label.action.AddressedOfferAction (implements io.github.contractautomata.catlib.automaton.label.action.AddressedAction)
    • io.github.contractautomata.catlib.automaton.label.action.RequestAction
      • io.github.contractautomata.catlib.automaton.label.action.AddressedRequestAction (implements io.github.contractautomata.catlib.automaton.label.action.AddressedAction)
  • io.github.contractautomata.catlib.automaton.label.action.Address (implements io.github.contractautomata.catlib.automaton.label.Matchable<T>)
  • io.github.contractautomata.catlib.requirements.Agreement (implements java.util.function.Predicate<T>)
  • io.github.contractautomata.catlib.converters.AutDataConverter<L> (implements io.github.contractautomata.catlib.converters.AutConverter<A1,A2>)
  • io.github.contractautomata.catlib.automaton.Automaton<S1,L1,S,T> (implements io.github.contractautomata.catlib.automaton.Ranked)
  • 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.family.converters.DimacsFamilyConverter (implements io.github.contractautomata.catlib.family.converters.FamilyConverter)
  • io.github.contractautomata.catlib.family.Family
  • io.github.contractautomata.catlib.family.Feature
  • io.github.contractautomata.catlib.family.converters.FeatureIDEfamilyConverter (implements io.github.contractautomata.catlib.family.converters.FamilyConverter)
  • io.github.contractautomata.catlib.family.FMCA
  • io.github.contractautomata.catlib.automaton.label.Label<T> (implements io.github.contractautomata.catlib.automaton.label.Matchable<T>, io.github.contractautomata.catlib.automaton.Ranked)
    • io.github.contractautomata.catlib.automaton.label.CALabel
  • io.github.contractautomata.catlib.family.PartialProductGenerator (implements java.util.function.UnaryOperator<T>)
  • io.github.contractautomata.catlib.family.converters.ProdFamilyConverter (implements io.github.contractautomata.catlib.family.converters.FamilyConverter)
  • io.github.contractautomata.catlib.family.Product
  • 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.requirements.StrongAgreement (implements java.util.function.Predicate<T>)
  • 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.automaton.transition.Transition<S1,L1,S,L>
    • io.github.contractautomata.catlib.automaton.transition.ModalTransition<S1,L1,S,L>
  • io.github.contractautomata.catlib.operations.UnionFunction (implements java.util.function.Function<T,R>)

Interface Hierarchy

• io.github.contractautomata.catlib.automaton.label.action.AddressedAction
• io.github.contractautomata.catlib.converters.AutConverter<A1,A2>
• io.github.contractautomata.catlib.family.converters.FamilyConverter
• io.github.contractautomata.catlib.automaton.label.Matchable<T>
• io.github.contractautomata.catlib.automaton.Ranked
• io.github.contractautomata.catlib.operations.interfaces.TetraFunction<T,U,V,W,Z>
• io.github.contractautomata.catlib.operations.interfaces.TriFunction<T,U,V,Z>
• io.github.contractautomata.catlib.operations.interfaces.TriPredicate<T,U,V>

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • io.github.contractautomata.catlib.automaton.transition.ModalTransition.Modality