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 | Class and Description |
---|---|
class |
AntiUnifyProblem
This class represents an anti-unification problem (AUP) which consists of one
generalization variable (the most general generalization) and an
anti-unification Equation.
|
class |
EquivarianceProblem
This class represents an equivariance problem (an equation of the form t = s)
of two NominalPairs.
|
Modifier and Type | Method and Description |
---|---|
Equation<NominalTerm> |
EquivarianceProblem.deepCopy() |
Equation<NominalTerm> |
AntiUnifyProblem.deepCopy() |
Modifier and Type | Class and Description |
---|---|
class |
EquationSystem<T extends Equation<?>>
A system of Equations
|
Modifier and Type | Method and Description |
---|---|
<T extends Equation<NominalTerm>> |
InputParser.parseEquation(Reader in1,
Reader in2,
EquationSystem<T> eqSys) |
<T extends Equation<NominalTerm>> |
InputParser.parseEquationSystem(Reader in,
EquationSystem<T> eqSys)
Pull characters from the given Reader and parse the input.
|