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

C

callback(AntiUnifySystem, Variable) - Method in class at.jku.risc.stout.nau.algo.AntiUnify

This callback function will be invoked for every found generalization.

classAtom - Variable in class at.jku.risc.stout.nau.data.NodeFactory

Class to use for atom instantiation.

classFncSymb - Variable in class at.jku.risc.stout.nau.data.NodeFactory

Class to use for function-symbol instantiation.

classSortAtom - Variable in class at.jku.risc.stout.nau.data.NodeFactory

Class to use for instantiating a sort of atom.

classSortData - Variable in class at.jku.risc.stout.nau.data.NodeFactory

Class to use for instantiating a sort of data.

classVariable - Variable in class at.jku.risc.stout.nau.data.NodeFactory

Class to use for variable instantiation.

clear() - Method in class at.jku.risc.stout.nau.algo.EquivarianceSystem

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

Removes all the mappings from a substitution.

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

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

Removes all the equations of this system.

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

collectAtoms(Set<Atom>) - Method in class at.jku.risc.stout.nau.data.atom.Abstraction

collectAtoms(Set<Atom>) - Method in class at.jku.risc.stout.nau.data.atom.Atom

collectAtoms(Set<Atom>) - Method in class at.jku.risc.stout.nau.data.atom.FunctionApplication

collectAtoms(Set<Atom>) - Method in class at.jku.risc.stout.nau.data.atom.NominalTerm

collectAtoms(Set<Atom>) - Method in class at.jku.risc.stout.nau.data.atom.Suspension

compose(Permutation, Permutation) - Static method in class at.jku.risc.stout.nau.data.atom.Permutation

Returns a new permutation which is a composition of the two given ones.

composeInRange(Variable, NominalTerm) - Method in class at.jku.risc.stout.nau.algo.Substitution

Substitution composition which does not add new variables to the mapping.

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

Computes the result silently.

compute(DebugLevel, PrintStream) - Method in class at.jku.risc.stout.nau.algo.AntiUnifySystem

Computes the result and prints progress information to PrintStream according to DebugLevel.

compute(NodeFactory, boolean, DebugLevel, PrintStream) - Method in class at.jku.risc.stout.nau.algo.Equivariance

Calls the rule based system EquivarianceSystem and tries to justify the computed result if the second argument of this method is true.

compute() - Method in class at.jku.risc.stout.nau.algo.EquivarianceSystem

Computes the equivariance permutation silently.

compute(DebugLevel, PrintStream) - Method in class at.jku.risc.stout.nau.algo.EquivarianceSystem

Computes an equivariance permutation for given equivariance problems (see EquivarianceSystem.addEquation(NominalTerm, NominalTerm, boolean)) and given atoms/nabla (see EquivarianceSystem.start(Collection, FreshnessCtx)).

contains(Atom, Variable) - Method in class at.jku.risc.stout.nau.data.FreshnessCtx

ControlledException - Exception in at.jku.risc.stout.nau.util

Every exception which will be thrown by intention is a subclass of this one.

ControlledException() - Constructor for exception at.jku.risc.stout.nau.util.ControlledException

ControlledException(String, Throwable) - Constructor for exception at.jku.risc.stout.nau.util.ControlledException

ControlledException(String) - Constructor for exception at.jku.risc.stout.nau.util.ControlledException

ControlledException(Throwable) - Constructor for exception at.jku.risc.stout.nau.util.ControlledException

cp_abstraction - Static variable in class at.jku.risc.stout.nau.data.InputParser

The character used for bound atom abstraction, Default = '.'

cp_argsEnd - Static variable in class at.jku.risc.stout.nau.data.InputParser

The closing parenthesis used to group the arguments of a function application (FunctionApplication), Default = ']'

cp_argsSeparator - Static variable in class at.jku.risc.stout.nau.data.InputParser

The character used to separate the arguments of a function application ( FunctionApplication), Default = InputParser.cp_separator1

cp_argsStart - Static variable in class at.jku.risc.stout.nau.data.InputParser

The opening parenthesis used to group the arguments of a function application (FunctionApplication), Default = '['

cp_atomFrom - Static variable in class at.jku.risc.stout.nau.data.InputParser

The begin of the variable range.

cp_atomTo - Static variable in class at.jku.risc.stout.nau.data.InputParser

The end of the variable range.

cp_equationSign - Static variable in class at.jku.risc.stout.nau.data.InputParser

The equation sign.

cp_equationSuffix1 - Static variable in class at.jku.risc.stout.nau.data.InputParser

The main equation suffix, also used to format the output.

cp_equationSuffix2 - Static variable in class at.jku.risc.stout.nau.data.InputParser

Another recognized equation suffix.

cp_equationSuffix3 - Static variable in class at.jku.risc.stout.nau.data.InputParser

Another recognized equation suffix.

cp_fresh - Static variable in class at.jku.risc.stout.nau.data.InputParser

The character used for a freshness pair.

cp_nablaEnd - Static variable in class at.jku.risc.stout.nau.data.InputParser

The closing parenthesis used for the set of freshness constraints, Default = '}'

cp_nablaSeparator - Static variable in class at.jku.risc.stout.nau.data.InputParser

The character used to separate the elements of the freshness context, Default = InputParser.cp_separator1

cp_nablaStart - Static variable in class at.jku.risc.stout.nau.data.InputParser

The opening parenthesis used for the set of freshness constraints, Default = '{'

cp_separator1 - Static variable in class at.jku.risc.stout.nau.data.InputParser

A separator character, Default = ','

cp_separator2 - Static variable in class at.jku.risc.stout.nau.data.InputParser

A separator character, Default = ';'

cp_separator3 - Static variable in class at.jku.risc.stout.nau.data.InputParser

A separator character, Default = '|'

cp_swapEnd - Static variable in class at.jku.risc.stout.nau.data.InputParser

The closing parenthesis used for swapping application, Default = ')'

cp_swapStart - Static variable in class at.jku.risc.stout.nau.data.InputParser

The opening parenthesis used for swapping application, Default = '('

cp_typeConstructor - Static variable in class at.jku.risc.stout.nau.data.InputParser

The type constructor.

cp_typingSeparator - Static variable in class at.jku.risc.stout.nau.data.InputParser

The character used to initiate the type definition.

cp_varFrom - Static variable in class at.jku.risc.stout.nau.data.InputParser

The begin of the variable range.

cp_varTo - Static variable in class at.jku.risc.stout.nau.data.InputParser

The end of the variable range.

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