at.jku.risc.stout.urau.algo
public class AntiUnifySystem extends Object
Modifier and Type | Field and Description |
---|---|
static String |
OUTPUT_SEPARATOR |
Constructor and Description |
---|
AntiUnifySystem(Queue<AntiUnifySystem> eqBranch,
RigidityFnc rFnc,
EquationSystem<AntiUnifyProblem> problemSet,
boolean setUID)
Most likely you don't need this constructor because the algorithm is
encapsulated in the class AntiUnify which is much easier to
use.
|
Modifier and Type | Method and Description |
---|---|
void |
compute()
Computes the result silently.
|
void |
compute(DebugLevel debugLevel,
PrintStream debugOut)
Most likely you don't need this method because the algorithm is
encapsulated in the class AntiUnify which is much easier to
use.
|
int |
getBranchId() |
EquationSystem<AntiUnifyProblem> |
getProblemSet() |
RigidityFnc |
getRFnc() |
Substitution |
getSigma() |
List<AntiUnifyProblem> |
getStore() |
static void |
resetCounter() |
String |
toString() |
public static String OUTPUT_SEPARATOR
public AntiUnifySystem(Queue<AntiUnifySystem> eqBranch, RigidityFnc rFnc, EquationSystem<AntiUnifyProblem> problemSet, boolean setUID)
public void compute() throws IllegalAlignmentException
IllegalAlignmentException
public void compute(DebugLevel debugLevel, PrintStream debugOut) throws IllegalAlignmentException
IllegalAlignmentException
public int getBranchId()
public EquationSystem<AntiUnifyProblem> getProblemSet()
public RigidityFnc getRFnc()
public Substitution getSigma()
public List<AntiUnifyProblem> getStore()
public static void resetCounter()