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.
|
at.jku.risc.stout.nau.data.atom |
This package contains the classes which are needed to build up the term tree
(E.g.: Atom,
Abstraction,
FunctionApplication,
Suspension,
SortAtom,
SortData,
NodeFactory,...).
|
Modifier and Type | Class and Description |
---|---|
class |
JustificationException
This ControlledException is thrown if the justification of the
computed generalization fails.
|
Modifier and Type | Method and Description |
---|---|
AntiUnifyProblem |
AntiUnifySystem.addEquation(NominalTerm left,
NominalTerm right,
boolean deepCopy)
Adds an anti-unification problem to the set of problems.
|
void |
AntiUnify.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 |
AntiUnifySystem.compute()
Computes the result silently.
|
void |
AntiUnifySystem.compute(DebugLevel debugLevel,
PrintStream debugOut)
Computes the result and prints progress information to
PrintStream according to DebugLevel.
|
Permutation |
EquivarianceSystem.compute(DebugLevel debugLevel,
PrintStream out)
Computes an equivariance permutation for given equivariance problems (see
EquivarianceSystem.addEquation(NominalTerm, NominalTerm, boolean)) and given
atoms/nabla (see EquivarianceSystem.start(Collection, FreshnessCtx)).
|
Permutation |
Equivariance.compute(NodeFactory factory,
boolean justify,
DebugLevel debugLevel,
PrintStream out)
Calls the rule based system EquivarianceSystem and tries to
justify the computed result if the second argument of this method is
true.
|
Modifier and Type | Class and Description |
---|---|
class |
InputParser.ParseException
This
ControlledException is thrown by the InputParser if
the input is malformed. |
class |
NodeFactory.FactoryInstantiationException |
Modifier and Type | Method and Description |
---|---|
<T extends Equation<NominalTerm>> |
InputParser.parseEquationSystem(Reader in,
EquationSystem<T> eqSys)
Pull characters from the given Reader and parse the input.
|
Modifier and Type | Class and Description |
---|---|
class |
MalformedSortException
This ControlledException is thrown if a typing error occurs.
|