at.jku.risc.stout.nau.algo
public class AntiUnify extends Object
Constructor and Description |
---|
AntiUnify(EquationSystem<AntiUnifyProblem> eqSys,
FreshnessCtx nablaIn,
DebugLevel debugLevel,
NodeFactory factory)
Creates and initializes the encapsulated rule based system
AntiUnifySystem with the given equation system and freshness
context.
|
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 |
getNauSys()
Returns the entire AntiUnifySystem which is encapsulated by
this class.
|
public AntiUnify(EquationSystem<AntiUnifyProblem> eqSys, FreshnessCtx nablaIn, DebugLevel debugLevel, NodeFactory factory)
public void antiUnify(boolean justify, PrintStream out) throws ControlledException
ControlledException
public void callback(AntiUnifySystem result, Variable generalizationVar)
public EquationSystem<AntiUnifyProblem> getEqSysOrig()
public AntiUnifySystem getNauSys()