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

N

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

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

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

newEquation() - Method in class at.jku.risc.stout.hoau.data.EquationSystem

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

newEquation(TermNode, TermNode) - Method in class at.jku.risc.stout.hoau.data.EquationSystem

Instantiates an equation of the specified type and initializes it with the given TermNodes.

newInstance() - Method in class at.jku.risc.stout.hoau.data.Hedge

newInstance() - Method in class at.jku.risc.stout.hoau.data.LambdaHedge

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

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

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

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

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

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

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

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

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

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

A factory to create TermNodes, Hedges and atomic types ( TermAtoms).

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

NotNormalizableException - Exception in at.jku.risc.stout.hoau.data

This exception is thrown if a lambda term could not be normalized to beta normal form within the given upper bound of recursion repetitions.

NotNormalizableException() - Constructor for exception at.jku.risc.stout.hoau.data.NotNormalizableException

NotNormalizableException(String, Throwable) - Constructor for exception at.jku.risc.stout.hoau.data.NotNormalizableException

NotNormalizableException(String) - Constructor for exception at.jku.risc.stout.hoau.data.NotNormalizableException

NotNormalizableException(Throwable) - Constructor for exception at.jku.risc.stout.hoau.data.NotNormalizableException

nullAtom - Static variable in class at.jku.risc.stout.hoau.data.TermNode

nullHedge - Static variable in class at.jku.risc.stout.hoau.data.TermNode

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