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

G

get(Variable) - Method in class at.jku.risc.stout.nau.algo.Substitution

Returns the associated NominalTerm for a given Variable or null if no mapping exists.

get(Atom) - Method in class at.jku.risc.stout.nau.data.FreshnessCtx

get(Variable) - Method in class at.jku.risc.stout.nau.data.FreshnessCtx

getAllByType(Class<T>) - Method in class at.jku.risc.stout.nau.data.NodeFactory

getArgs() - Method in class at.jku.risc.stout.nau.data.atom.FunctionApplication

getArity() - Method in class at.jku.risc.stout.nau.data.atom.FunctionSymbol

Returns the arity which has been set by the user or could be inferred by the type system.

getAtoms() - Method in class at.jku.risc.stout.nau.algo.Equivariance

getBoundAtom() - Method in class at.jku.risc.stout.nau.data.atom.Abstraction

getDisagreementSet(Permutation, Variable, FreshnessCtx) - Method in class at.jku.risc.stout.nau.data.atom.Permutation

Returns the set of disagreements between this permutation and another one.

getEqSys() - Method in class at.jku.risc.stout.nau.algo.Equivariance

getEqSysOrig() - Method in class at.jku.risc.stout.nau.algo.AntiUnify

Returns the original equation system.

getExists(Class<T>, String) - Method in class at.jku.risc.stout.nau.data.NodeFactory

getExists(Class<T>, Object...) - Method in class at.jku.risc.stout.nau.data.NodeFactory

getFactory() - Method in class at.jku.risc.stout.nau.data.InputParser

Returns the factory used by this parser to instantiate the atoms of the new term.

getFirst() - Method in class at.jku.risc.stout.nau.data.EquationSystem

Retrieves the first element of this system of equations or returns null if it is empty.

getFncSymb() - Method in class at.jku.risc.stout.nau.data.atom.FunctionApplication

getFreshEnv() - Method in class at.jku.risc.stout.nau.data.NominalPair

Returns the freshness context (FreshnessCtx) of this nominal pair.

getGeneralizationVar() - Method in class at.jku.risc.stout.nau.algo.AntiUnifyProblem

The most general generalization.

getHead() - Method in class at.jku.risc.stout.nau.data.atom.Abstraction

getHead() - Method in class at.jku.risc.stout.nau.data.atom.Atom

getHead() - Method in class at.jku.risc.stout.nau.data.atom.FunctionApplication

getHead() - Method in class at.jku.risc.stout.nau.data.atom.NominalTerm

getHead() - Method in class at.jku.risc.stout.nau.data.atom.Suspension

getInverse() - Method in class at.jku.risc.stout.nau.data.atom.Permutation

The internal Map representation of the inverse permutation.

getLast() - Method in class at.jku.risc.stout.nau.data.EquationSystem

Retrieves the last element of this system of equations or returns null if it is empty.

getLeft() - Method in class at.jku.risc.stout.nau.data.Equation

Returns the left part of the equation.

getMapping() - Method in class at.jku.risc.stout.nau.algo.Substitution

getNablaGen() - Method in class at.jku.risc.stout.nau.algo.AntiUnifySystem

The freshness context of the generalization after AntiUnifySystem.compute() succeeded.

getNablaIn() - Method in class at.jku.risc.stout.nau.algo.Equivariance

getName() - Method in class at.jku.risc.stout.nau.data.atom.Atom

getName() - Method in class at.jku.risc.stout.nau.data.atom.FunctionSymbol

getName() - Method in class at.jku.risc.stout.nau.data.atom.Variable

getNameOrigin() - Method in class at.jku.risc.stout.nau.data.atom.Atom

getNauSys() - Method in class at.jku.risc.stout.nau.algo.AntiUnify

Returns the entire AntiUnifySystem which is encapsulated by this class.

getPerm() - Method in class at.jku.risc.stout.nau.data.atom.Permutation

The internal Map representation of the permutation.

getPerm() - Method in class at.jku.risc.stout.nau.data.atom.Suspension

getPrefixFreshAtom() - Method in class at.jku.risc.stout.nau.data.NodeFactory

getPrefixFreshVar() - Method in class at.jku.risc.stout.nau.data.NodeFactory

getProblemSet() - Method in class at.jku.risc.stout.nau.algo.AntiUnifySystem

Returns the problem set which is empty after AntiUnifySystem.compute() succeeded.

getRight() - Method in class at.jku.risc.stout.nau.data.Equation

Returns the right part of the equation.

getSigma() - Method in class at.jku.risc.stout.nau.algo.AntiUnifySystem

The substitution sigma contains the generalization after AntiUnifySystem.compute() succeeded.

getSort() - Method in class at.jku.risc.stout.nau.data.atom.Abstraction

getSort() - Method in class at.jku.risc.stout.nau.data.atom.Atom

getSort() - Method in class at.jku.risc.stout.nau.data.atom.FunctionApplication

Same as FunctionApplication.getFncSymb().getSortRet()

getSort() - Method in class at.jku.risc.stout.nau.data.atom.FunctionSymbol

getSort() - Method in interface at.jku.risc.stout.nau.data.atom.HasSort

getSort() - Method in class at.jku.risc.stout.nau.data.atom.Suspension

getSort() - Method in class at.jku.risc.stout.nau.data.atom.Variable

getSortArgs() - Method in class at.jku.risc.stout.nau.data.atom.FunctionSymbol

getStore() - Method in class at.jku.risc.stout.nau.algo.AntiUnifySystem

Returns the store where all the disagreements are stored during the computation.

getSubTerm() - Method in class at.jku.risc.stout.nau.data.atom.Abstraction

getSuffixFreshAtom() - Method in class at.jku.risc.stout.nau.data.NodeFactory

getSuffixFreshVar() - Method in class at.jku.risc.stout.nau.data.NodeFactory

getTerm() - Method in class at.jku.risc.stout.nau.data.NominalPair

Returns the nominal term (NominalTerm) of this nominal pair.

getVar() - Method in class at.jku.risc.stout.nau.data.atom.Suspension

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