at.jku.risc.stout.urauc.algo
public class AntiUnifySystem extends Object
Constructor and Description |
---|
AntiUnifySystem(EquationSystem<AntiUnifyProblem> problemSet,
Substitution sigma,
boolean applyResH)
Creates and initializes the rule based system.
|
Modifier and Type | Method and Description |
---|---|
void |
compute()
Computes the result silently.
|
void |
compute(DebugLevel debugLevel,
PrintStream debugOut)
Computes the result and prints progress information to
PrintStream according to DebugLevel.
|
EquationSystem<AntiUnifyProblem> |
getProblemSet()
Returns the problem set which is empty after compute()
succeeded.
|
Substitution |
getSigma()
The substitution sigma contains the generalization after
compute() succeeded.
|
List<AntiUnifyProblem.VariableWithHedges> |
getStoreHorizontalS()
Returns the horizontal store where all the horizontal disagreements are
stored during the computation.
|
List<AntiUnifyProblem.VariableWithHedges> |
getStoreVerticalQ()
Returns the vertical store where all the vertical disagreements are
stored during the computation.
|
String |
storeToString() |
String |
toString() |
public AntiUnifySystem(EquationSystem<AntiUnifyProblem> problemSet, Substitution sigma, boolean applyResH)
public void compute() throws ControlledException
ControlledException
public void compute(DebugLevel debugLevel, PrintStream debugOut) throws ControlledException
ControlledException
public EquationSystem<AntiUnifyProblem> getProblemSet()
public Substitution getSigma()
public List<AntiUnifyProblem.VariableWithHedges> getStoreHorizontalS()
compute(DebugLevel, PrintStream)
succeeded.)getStoreVerticalQ()
public List<AntiUnifyProblem.VariableWithHedges> getStoreVerticalQ()
compute(DebugLevel, PrintStream)
succeeded.)getStoreHorizontalS()
public String storeToString()