Uses of Class
net.automatalib.ts.modal.MTSTransition
-
Packages that use MTSTransition Package Description net.automatalib.ts.modal -
-
Uses of MTSTransition in net.automatalib.ts.modal
Methods in net.automatalib.ts.modal that return MTSTransition Modifier and Type Method Description MTSTransition<MutableModalEdgeProperty>
CompactMTS. createTransition(Integer successor)
MTSTransition<MutableModalEdgeProperty>
CompactMTS. createTransition(Integer successor, @Nullable MutableModalEdgeProperty properties)
Methods in net.automatalib.ts.modal with parameters of type MTSTransition Modifier and Type Method Description Integer
CompactMTS. getSuccessor(MTSTransition<MutableModalEdgeProperty> transition)
MutableModalEdgeProperty
CompactMTS. getTransitionProperty(MTSTransition<MutableModalEdgeProperty> transition)
void
CompactMTS. setTransitionProperty(MTSTransition<MutableModalEdgeProperty> transition, MutableModalEdgeProperty property)
-