- Abstraction - Class in at.jku.risc.stout.nau.data.atom
-
An abstraction is a
NominalTerm which consists of a bound atom
and a subterm.
- Abstraction(Atom, NominalTerm) - Constructor for class at.jku.risc.stout.nau.data.atom.Abstraction
-
- add(T) - Method in class at.jku.risc.stout.nau.data.EquationSystem
-
Adds a new equation to this system as tail.
- addEquation(NominalTerm, NominalTerm, boolean) - Method in class at.jku.risc.stout.nau.algo.AntiUnifySystem
-
Adds an anti-unification problem to the set of problems.
- addEquation(NominalTerm, NominalTerm, boolean) - Method in class at.jku.risc.stout.nau.algo.EquivarianceSystem
-
Adds a matching problem to the problem set.
- addFirst(T) - Method in class at.jku.risc.stout.nau.data.EquationSystem
-
Adds a new equation to this system as head.
- addFreshConstraint(Atom, NominalTerm...) - Method in class at.jku.risc.stout.nau.data.FreshnessCtx
-
Add freshness constraints as needed, such that the given atom is fresh in
all the given nominal terms.
- addSwappingHead(Atom, Atom) - Method in class at.jku.risc.stout.nau.data.atom.Permutation
-
Adds a swapping at the head (left) of this sequence of swappings.
- addSwappingTail(Atom, Atom) - Method in class at.jku.risc.stout.nau.data.atom.Permutation
-
Adds a swapping at the tail (right) of this sequence of swappings.
- AntiUnify - Class in at.jku.risc.stout.nau.algo
-
This class encapsulates the rule based system
AntiUnifySystem
and allows to justify the result by back substitution of the generalization
with the reported differences inside the computed store.
- AntiUnify(EquationSystem<AntiUnifyProblem>, FreshnessCtx, DebugLevel, NodeFactory) - Constructor for class at.jku.risc.stout.nau.algo.AntiUnify
-
Creates and initializes the encapsulated rule based system
AntiUnifySystem with the given equation system and freshness
context.
- antiUnify(boolean, PrintStream) - Method in class at.jku.risc.stout.nau.algo.AntiUnify
-
Calls the rule based system
AntiUnifySystem and tries to
justify the computed result if the second argument of this method is
true.
- AntiUnifyProblem - Class in at.jku.risc.stout.nau.algo
-
This class represents an anti-unification problem (AUP) which consists of one
generalization variable (the most general generalization) and an
anti-unification
Equation.
- AntiUnifyProblem(NominalTerm, NominalTerm, NodeFactory) - Constructor for class at.jku.risc.stout.nau.algo.AntiUnifyProblem
-
A constructor who takes two nominal terms and a factory to instantiate a
fresh generalization variable.
- AntiUnifySystem - Class in at.jku.risc.stout.nau.algo
-
This class represents a rule based system for Nominal Anti-Unificaion.
- AntiUnifySystem(NodeFactory, EquationSystem<AntiUnifyProblem>, FreshnessCtx) - Constructor for class at.jku.risc.stout.nau.algo.AntiUnifySystem
-
Creates and initializes the rule based system.
- AntiUnifySystem(NodeFactory, EquationSystem<AntiUnifyProblem>, FreshnessCtx, Collection<? extends Atom>, List<AntiUnifyProblem>, FreshnessCtx, Substitution) - Constructor for class at.jku.risc.stout.nau.algo.AntiUnifySystem
-
Creates and initializes the rule based system.
- at.jku.risc.stout.nau.algo - package 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 - package 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 - package at.jku.risc.stout.nau.data.atom
-
- at.jku.risc.stout.nau.util - package at.jku.risc.stout.nau.util
-
This package contains some basic utility classes.
- Atom - Class in at.jku.risc.stout.nau.data.atom
-
An
Atom is a
NominalTerm, consisting of the atom
name and an optional origin name.
- Atom(String) - Constructor for class at.jku.risc.stout.nau.data.atom.Atom
-
Instantiates an atom of the specified name.
- Atom(String, String) - Constructor for class at.jku.risc.stout.nau.data.atom.Atom
-
Instantiates an atom of the specified name.