Uses of Interface
net.automatalib.automaton.ShrinkableAutomaton
-
Packages that use ShrinkableAutomaton Package Description net.automatalib.automaton This package (including sub-packages) contains the basic classes concerning automata. -
-
Uses of ShrinkableAutomaton in net.automatalib.automaton
Subinterfaces of ShrinkableAutomaton in net.automatalib.automaton Modifier and Type Interface Description interface
ShrinkableDeterministic<S,I,T,SP,TP>
A mutable deterministic automaton that also supports destructive operations, i.e., removal of states and transitions.
-