Package net.automatalib.util.ts.traversal
-
Interface Summary Interface Description TSTraversalMethod TSTraversalVisitor<S,I,T,D> Visitor interface for transition system traversals. -
Class Summary Class Description DFRecord<S,I,T,D> DFRecord.LastTransition<S,I,T,D> TSTraversal -
Enum Summary Enum Description TSTraversalAction The type ofTSTraversalAction
to be performed.