java.lang.Object
tools.refinery.store.statecoding.stateequivalence.PermutationMorphism
-
Method Summary
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Method Details
-
next
public boolean next()
-
get
public int get(int object)
- Specified by:
get
in interface Morphism
-