PermEquivSystem

Constructors
Constructor and Description
`PermEquivSystem()`
`PermEquivSystem(EquationSystem<PermEquivProblem> problemSet)`

Methods
Modifier and Type	Method and Description
`void`	`addEquation(TermNode from, TermNode to)` Adds a matching problem to the permuting matcher.
`Map<Variable,Variable>`	`compute(DebugLevel debugLevel, PrintStream out)` Computes a permuting matcher for given matching problems (see addEquation(TermNode, TermNode)) and given domain/range (see start(Set, Set)).
`EquationSystem<PermEquivProblem>`	`getProblemSet()`
`void`	`printState(PrintStream out)`
`void`	`reset()`
`void`	`start(Set<? extends Variable> domain, Set<? extends Variable> range)` Initializes the permutation computation.
`String`	`toString()`

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

public PermEquivSystem(EquationSystem<PermEquivProblem> problemSet)

public void addEquation(TermNode from,
               TermNode to)

Adds a matching problem to the permuting matcher.

public EquationSystem<PermEquivProblem> getProblemSet()

public void printState(PrintStream out)

public void start(Set<? extends Variable> domain,
         Set<? extends Variable> range)

Initializes the permutation computation.

Class PermEquivSystem