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 IntegerCompactMTS. getSuccessor(MTSTransition<MutableModalEdgeProperty> transition)MutableModalEdgePropertyCompactMTS. getTransitionProperty(MTSTransition<MutableModalEdgeProperty> transition)voidCompactMTS. setTransitionProperty(MTSTransition<MutableModalEdgeProperty> transition, MutableModalEdgeProperty property)
-