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

C

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

This callback function will be invoked for every found generalization.

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

Removes all the mappings from a substitution.

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

Removes all the equations of this system.

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

clone() - Method in class at.jku.risc.stout.hoau.algo.AntiUnifyProblem

clone() - Method in class at.jku.risc.stout.hoau.algo.PermEquivProblem

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

clone() - Method in class at.jku.risc.stout.hoau.data.atom.Lambda

clone() - Method in class at.jku.risc.stout.hoau.data.atom.TermAtom

clone() - Method in interface at.jku.risc.stout.hoau.data.Equation

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

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

clone() - Method in class at.jku.risc.stout.hoau.data.TermNode

CLOSING_PARENTHESIS - Static variable in class at.jku.risc.stout.hoau.data.InputParser

default = ')'.

compareTo(TermAtom) - Method in class at.jku.risc.stout.hoau.data.atom.TermAtom

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

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

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

Computes the result silently.

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

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

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

Calls the rule based system PermEquivSystem and returns the result.

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

Computes a permuting matcher for given matching problems (see PermEquivSystem.addEquation(TermNode, TermNode)) and given domain/range (see PermEquivSystem.start(Set, Set)).

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

Every exception which will be thrown by intention is a sub-class of this one.

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

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

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

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

copyAbstr(AntiUnifyProblem) - Method in class at.jku.risc.stout.hoau.algo.AntiUnifyProblem

Copies the variables from the abstraction list of the given AUP into the abstraction list of this AUP.

createConstant(String, String) - Method in class at.jku.risc.stout.hoau.data.NodeFactory

createFunction(String, String, Hedge) - Method in class at.jku.risc.stout.hoau.data.NodeFactory

createHO_Fnc() - Method in class at.jku.risc.stout.hoau.algo.AntiUnifyProblem

X(x,y,...) where X is the generalization variable and x,y,...

createHO_Fnc(Map<Variable, Variable>) - Method in class at.jku.risc.stout.hoau.algo.AntiUnifyProblem

X(x,y,...) where X is the generalization variable and x,y,...

createIndividualVar(String, String) - Method in class at.jku.risc.stout.hoau.data.NodeFactory

createIndividualVar(String, String, Hedge) - Method in class at.jku.risc.stout.hoau.data.NodeFactory

createLambdaHedge(TermNode) - Method in class at.jku.risc.stout.hoau.algo.AntiUnifyProblem

Creates a lambda hedge which contains the given term node and all the abstracted bound variables.

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