at.jku.risc.stout.hoau.algo
public class AntiUnify extends Object
Constructor and Description |
---|
AntiUnify(EquationSystem<AntiUnifyProblem> eq,
int maxNormalizeSteps,
DebugLevel debugLevel)
Creates and initializes the encapsulated rule based system
AntiUnifySystem with the given equation system and an empty
Substitution.
|
Modifier and Type | Method and Description |
---|---|
void |
antiUnify(boolean justify,
PrintStream out)
Calls the rule based system AntiUnifySystem and tries to
justify the computed result if the second argument of this method is
true.
|
void |
callback(AntiUnifySystem result,
Variable generalizationVar)
This callback function will be invoked for every found generalization.
|
EquationSystem<AntiUnifyProblem> |
getEqSysOrig()
Returns the original equation system.
|
AntiUnifySystem |
getResult()
Returns the entire AntiUnifySystem which is encapsulated by
this class
|
public AntiUnify(EquationSystem<AntiUnifyProblem> eq, int maxNormalizeSteps, DebugLevel debugLevel) throws ControlledException
ControlledException
public void antiUnify(boolean justify, PrintStream out) throws ControlledException
ControlledException
public void callback(AntiUnifySystem result, Variable generalizationVar)
public EquationSystem<AntiUnifyProblem> getEqSysOrig()
public AntiUnifySystem getResult()