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 |
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 |
AntiUnifySystem
This class represents a rule based system for Nominal Anti-Unificaion.
|
class |
EquivarianceProblem
This class represents an equivariance problem (an equation of the form t = s)
of two NominalPairs.
|
Modifier and Type | Class and Description |
---|---|
class |
Equation<T extends Printable>
An equation consists of two NominalTerms.
|
Modifier and Type | Class and Description |
---|---|
class |
Equation<T extends Printable>
An equation consists of two NominalTerms.
|
class |
EquationSystem<T extends Equation<?>>
A system of Equations
|
class |
FreshnessCtx
A freshness context is a set of the form {a#X, b#Y,...} where a,b,... are
atoms and X,Y,... are variables, stating that the atom a is fresh in X, b is
fresh in Y,....
|
class |
NominalPair
A nominal pair is a pair consisting of one freshness context (
FreshnessCtx) and one nominal term (NominalTerm).
|
Modifier and Type | Class and Description |
---|---|
class |
Abstraction
An abstraction is a NominalTerm which consists of a bound atom
and a subterm.
|
class |
Atom
An Atom is a NominalTerm, consisting of the atom
name and an optional origin name.
|
class |
FunctionApplication
A FunctionApplication is a NominalTerm consisting
of a unique FunctionSymbol and an array of arguments.
|
class |
NominalTerm
|
class |
Suspension
|