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

D

DataStructureFactory - Class in at.jku.risc.stout.nau.util

This factory class defines which data structures to use.

DataStructureFactory() - Constructor for class at.jku.risc.stout.nau.util.DataStructureFactory

DebugLevel - Enum in at.jku.risc.stout.nau.algo

Enumeration with 4 different levels for debugging.

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

deepCopy() - Method in class at.jku.risc.stout.nau.algo.EquivarianceProblem

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

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

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

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

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

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

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

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

DeepCopy<T extends DeepCopy<T>> - Interface in at.jku.risc.stout.nau.util

Interface for classes which may be cloned by calling the method DeepCopy.deepCopy().

deepCopy() - Method in interface at.jku.risc.stout.nau.util.DeepCopy

Returns a deep copy of this object.

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