Class PermutationMorphism

java.lang.Object

tools.refinery.store.statecoding.stateequivalence.PermutationMorphism

All Implemented Interfaces:

Morphism

public class PermutationMorphism
extends Object
implements Morphism

Method Summary

Modifier and Type	Method	Description
int	get(int object)
int	getSize()
boolean	next()

Methods inherited from class 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

getSize

public int getSize()

Specified by:

getSize in interface Morphism