Package | Description |
---|---|
at.jku.risc.stout.nau.algo |
This package contains the classes of the rule based system
(
AntiUnifySystem ) to solve the nominal
anti-unification problem and an algorithm to solve the nominal
equivariance problem (EquivarianceSystem )
which is needed by the anti-unification algorithm. |
at.jku.risc.stout.nau.data |
This package contains the nominal parser and some container classes like
equation systems, freshness context and a container for nominal pairs.
|
Modifier and Type | Method and Description |
---|---|
EquationSystem<EquivarianceProblem> |
Equivariance.getEqSys() |
EquationSystem<AntiUnifyProblem> |
AntiUnify.getEqSysOrig()
Returns the original equation system.
|
EquationSystem<AntiUnifyProblem> |
AntiUnifySystem.getProblemSet()
Returns the problem set which is empty after AntiUnifySystem.compute()
succeeded.
|
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.
|
AntiUnifySystem(NodeFactory factory,
EquationSystem<AntiUnifyProblem> problemSet,
FreshnessCtx nablaIn)
Creates and initializes the rule based system.
|
AntiUnifySystem(NodeFactory factory,
EquationSystem<AntiUnifyProblem> problemSet,
FreshnessCtx nablaIn,
Collection<? extends Atom> atoms,
List<AntiUnifyProblem> store,
FreshnessCtx nablaGen,
Substitution sigma)
Creates and initializes the rule based system.
|
Equivariance(EquationSystem<EquivarianceProblem> eqSys,
Collection<? extends Atom> atoms,
FreshnessCtx nablaIn)
Creates and initializes the encapsulated rule based system
EquivarianceSystem with the given equation system, atoms and
freshness context.
|
EquivarianceSystem(NodeFactory factory,
EquationSystem<EquivarianceProblem> problemSet) |
Modifier and Type | Method and Description |
---|---|
EquationSystem<T> |
EquationSystem.deepCopy() |
Modifier and Type | Method and Description |
---|---|
<T extends Equation<NominalTerm>> |
InputParser.parseEquation(Reader in1,
Reader in2,
EquationSystem<T> eqSys) |
FreshnessCtx |
InputParser.parseEquationAndCtx(Reader in1,
Reader in2,
Reader inA,
Reader inN,
EquationSystem<AntiUnifyProblem> eqSys) |
<T extends Equation<NominalTerm>> |
InputParser.parseEquationSystem(Reader in,
EquationSystem<T> eqSys)
Pull characters from the given Reader and parse the input.
|