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

C

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

This callback function will be invoked for every found generalization.

checkCommutative() - Method in class at.jku.risc.stout.urauc.algo.AntiUnifyProblem.VariableWithHedges

clear() - Method in class at.jku.risc.stout.urauc.algo.Contour

clear() - Method in class at.jku.risc.stout.urauc.algo.ContourArrangement

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

Removes all the mappings from a substitution.

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

Removes all the equations of this system.

clip(Contour.ContourAtom) - Method in class at.jku.risc.stout.urauc.algo.Contour

Computes a rectangular clip which contains all the elements of this contour inside the rectangle (0,0), (Contour.ContourAtom.i-1, Contour.ContourAtom.j-1).

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

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

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

clone() - Method in class at.jku.risc.stout.urauc.data.Alignment.AlignmentAtom

clone() - Method in class at.jku.risc.stout.urauc.data.Alignment

clone() - Method in class at.jku.risc.stout.urauc.data.atom.Hole

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

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

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

clone() - Method in class at.jku.risc.stout.urauc.util.IntList

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

commonAncestor(TermAtom) - Method in class at.jku.risc.stout.urauc.data.atom.TermAtom

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

compareTo(Hedge) - Method in class at.jku.risc.stout.urauc.data.Hedge

compareTo(TermNode) - Method in class at.jku.risc.stout.urauc.data.TermNode

This compare method treads commutativity by ordered argument sequences.

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

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

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

Computes the result silently.

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

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

ContextVar - Class in at.jku.risc.stout.urauc.data.atom

A context variable can be substituted by a context.

ContextVar(String) - Constructor for class at.jku.risc.stout.urauc.data.atom.ContextVar

Contour - Class in at.jku.risc.stout.urauc.algo

A list of contour elements.

Contour() - Constructor for class at.jku.risc.stout.urauc.algo.Contour

Contour.ContourAtom - Class in at.jku.risc.stout.urauc.algo

ContourArrangement - Class in at.jku.risc.stout.urauc.algo

A list of all the Contours of the common subsequence problem of two lists of TermAtoms.

ContourArrangement() - Constructor for class at.jku.risc.stout.urauc.algo.ContourArrangement

ContourArrangement(int) - Constructor for class at.jku.risc.stout.urauc.algo.ContourArrangement

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

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

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

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

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

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

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

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

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

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

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

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

createHole(String) - Method in class at.jku.risc.stout.urauc.data.NodeFactory

Will return always the same Object.

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

createMostGeneral() - Method in class at.jku.risc.stout.urauc.algo.AntiUnifyProblem

ctxVarCnt - Static variable in class at.jku.risc.stout.urauc.data.NodeFactory

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