$ A C D E F G H I J M N O P R S T U V W

A

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

This package contains the classes which are needed to build up the term tree (E.g.: Atom, Abstraction, FunctionApplication, Suspension, SortAtom, SortData, NodeFactory,...).

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.

$ A C D E F G H I J M N O P R S T U V W