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

N

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

Instantiates an untyped atom.

newAtom(String, String) - Method in class at.jku.risc.stout.nau.data.NodeFactory

Instantiates an atom of the specified sort.

newAtom(String, SortAtom) - Method in class at.jku.risc.stout.nau.data.NodeFactory

Instantiates an atom of the specified sort.

newDeque() - Method in class at.jku.risc.stout.nau.util.DataStructureFactory

newDeque(Collection<T>) - Method in class at.jku.risc.stout.nau.util.DataStructureFactory

newDeque(int) - Method in class at.jku.risc.stout.nau.util.DataStructureFactory

newEquation(NominalTerm, NominalTerm) - Method in class at.jku.risc.stout.nau.data.EquationSystem

You have to implement this method, so that an algorithm is able to instantiate new Equations of arbitrary types.

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

Instantiates an untyped function symbol.

newFunction(String, Sort[], String) - Method in class at.jku.risc.stout.nau.data.NodeFactory

Instantiates a function symbol of the specified arity.

newFunction(String, Sort[], SortData) - Method in class at.jku.risc.stout.nau.data.NodeFactory

Instantiates a function symbol of the specified arity.

newList() - Method in class at.jku.risc.stout.nau.util.DataStructureFactory

newList(Collection<T>) - Method in class at.jku.risc.stout.nau.util.DataStructureFactory

newList(int) - Method in class at.jku.risc.stout.nau.util.DataStructureFactory

newMap() - Method in class at.jku.risc.stout.nau.util.DataStructureFactory

newMap(Map<K, V>) - Method in class at.jku.risc.stout.nau.util.DataStructureFactory

newMap(int) - Method in class at.jku.risc.stout.nau.util.DataStructureFactory

newSet() - Method in class at.jku.risc.stout.nau.util.DataStructureFactory

newSet(Collection<T>) - Method in class at.jku.risc.stout.nau.util.DataStructureFactory

newSet(int) - Method in class at.jku.risc.stout.nau.util.DataStructureFactory

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

Returns a sort of atom by name.

newVarAtom(String, String) - Method in class at.jku.risc.stout.nau.data.NodeFactory

Instantiates a variable of the specified sort.

newVarData(String, String) - Method in class at.jku.risc.stout.nau.data.NodeFactory

Instantiates a variable of the specified sort.

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

Instantiates an untyped variable.

newVariable(String, Sort) - Method in class at.jku.risc.stout.nau.data.NodeFactory

Instantiates a variable of the specified sort.

NodeFactory - Class in at.jku.risc.stout.nau.data

This factory is used to instantiate new NominalTerms, subterms and atomic term blocks.

NodeFactory() - Constructor for class at.jku.risc.stout.nau.data.NodeFactory

NodeFactory(String, String) - Constructor for class at.jku.risc.stout.nau.data.NodeFactory

NodeFactory.FactoryInstantiationException - Exception in at.jku.risc.stout.nau.data

NominalPair - Class in at.jku.risc.stout.nau.data

A nominal pair is a pair consisting of one freshness context ( FreshnessCtx) and one nominal term (NominalTerm).

NominalPair(NominalTerm) - Constructor for class at.jku.risc.stout.nau.data.NominalPair

Instantiates a nominal pair with an empty freshness context.

NominalPair(FreshnessCtx, NominalTerm) - Constructor for class at.jku.risc.stout.nau.data.NominalPair

Instantiates a nominal pair with then given freshness context and nominal term.

NominalTerm - Class in at.jku.risc.stout.nau.data.atom

This is the base class for nominal terms like Abstraction, FunctionApplication, Atom, Suspension.

NominalTerm() - Constructor for class at.jku.risc.stout.nau.data.atom.NominalTerm

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