at.jku.risc.stout.hoau.algo

Class PermEquiv

java.lang.Object

at.jku.risc.stout.hoau.algo.PermEquiv

public class PermEquiv
extends Object

This class encapsulates the rule based system PermEquivSystem. It computes a permutation such that the equations in the given EquationSystem are all alpha equivalent, if it exists. Otherwise it returns null.

Author:

Alexander Baumgartner

Constructor Summary

Constructors

Constructor and Description
PermEquiv(EquationSystem<PermEquivProblem> eqSys, Set<Variable> dom, Set<Variable> ran) Creates and initializes the encapsulated rule based system PermEquivSystem with the given equation system, domain and range.

Method Summary

Methods

Modifier and Type	Method and Description
Map<Variable,Variable>	compute(DebugLevel debugLevel, PrintStream out) Calls the rule based system PermEquivSystem and returns the result.
Set<Variable>	getDom()
EquationSystem<PermEquivProblem>	getEqSys()
Set<Variable>	getRan()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PermEquiv

public PermEquiv(EquationSystem<PermEquivProblem> eqSys,
         Set<Variable> dom,
         Set<Variable> ran)

Creates and initializes the encapsulated rule based system PermEquivSystem with the given equation system, domain and range.

Method Detail

compute

public Map<Variable,Variable> compute(DebugLevel debugLevel,
                             PrintStream out)
                               throws ControlledException

Calls the rule based system PermEquivSystem and returns the result.

Throws:

ControlledException

getDom

public Set<Variable> getDom()

getEqSys

public EquationSystem<PermEquivProblem> getEqSys()

getRan

public Set<Variable> getRan()