Package net.automatalib.ts.modal
-
Interface Summary Interface Description ModalTransitionSystem<S,I,T,TP extends ModalEdgeProperty> A modal transition system is aUniversalAutomaton
in which transitions can be marked asmay
ormust
edges.MutableModalTransitionSystem<S,I,T,TP extends MutableModalEdgeProperty> A mutable version ofModalTransitionSystem
that allows to add states and transitions. -
Class Summary Class Description ModalTransitionSystem.MTSGraphView<S,I,T,TP extends ModalEdgeProperty,M extends ModalTransitionSystem<S,I,T,TP>>