- AbstractState
- Action
- Address
- AddressedAction
- AddressedOfferAction
- AddressedRequestAction
- Agreement
- AutConverter
- AutDataConverter
- Automaton
- BasicState
- CALabel
- ChoreographySynthesisOperator
- CompositionFunction
- DimacsFamilyConverter
- Family
- FamilyConverter
- Feature
- FeatureIDEfamilyConverter
- FMCA
- IdleAction
- Label
- Matchable
- ModalTransition
- ModalTransition.Modality
- ModelCheckingFunction
- ModelCheckingSynthesisOperator
- MpcSynthesisOperator
- MSCACompositionFunction
- OfferAction
- OrchestrationSynthesisOperator
- PartialProductGenerator
- ProdFamilyConverter
- Product
- ProductOrchestrationSynthesisOperator
- ProjectionFunction
- Ranked
- RelabelingOperator
- RequestAction
- State
- StrongAgreement
- SynthesisOperator
- TetraFunction
- Transition
- TriFunction
- TriPredicate
- UnionFunction