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

C

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

This callback function will be invoked for every found generalization.

cleanUp() - Method in class at.jku.risc.stout.urau.algo.AlignmentList

cleanUp() - Method in class at.jku.risc.stout.urau.data.TermAtomList

cleanUp() - Method in class at.jku.risc.stout.urau.util.CoordList

cleanUp() - Method in interface at.jku.risc.stout.urau.util.Poolable

This method is called from the Pool before the object is returned to the pool.

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

Removes all the mappings from a substitution.

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

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

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

clone() - Method in class at.jku.risc.stout.urau.data.atom.Variable

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

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

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

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

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

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

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

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

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

Computes the result silently.

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

Most likely you don't need this method because the algorithm is encapsulated in the class AntiUnify which is much easier to use.

compute(TermAtomList, TermAtomList) - Method in class at.jku.risc.stout.urau.algo.RigidityFnc

compute(TermAtomList, TermAtomList) - Method in class at.jku.risc.stout.urau.algo.RigidityFncSubsequence

compute(TermAtomList, TermAtomList) - Method in class at.jku.risc.stout.urau.algo.RigidityFncSubstring

contains(int, int) - Method in class at.jku.risc.stout.urau.util.CoordList

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

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

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

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

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

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

CoordList - Class in at.jku.risc.stout.urau.util

A pooled list of x,y coordinates.

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

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

createHedge(TermNode...) - Method in class at.jku.risc.stout.urau.data.NodeFactory

createHedgeVar(String) - Method in class at.jku.risc.stout.urau.data.NodeFactory

createTermNode() - Method in class at.jku.risc.stout.urau.algo.AntiUnifyProblem

Create a TermNode of the generalization variable.

createTermVar(String) - Method in class at.jku.risc.stout.urau.data.NodeFactory

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