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

C

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

Removes all the mappings from a substitution.

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

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

collectHedgeVars(Set<HedgeVar>) - Method in class at.jku.risc.stout.uru.algo.UnifEquation

collectHedgeVars() - Method in class at.jku.risc.stout.uru.algo.UnifProblem

collectHedgeVars() - Method in class at.jku.risc.stout.uru.data.atom.NodeFactory

collectHedgeVars(Set<HedgeVar>) - Method in class at.jku.risc.stout.uru.data.TermNode

collectTermVars() - Method in class at.jku.risc.stout.uru.data.atom.NodeFactory

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

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

compose(Substitution) - Method in class at.jku.risc.stout.uru.algo.Substitution

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

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

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

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

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

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

copy() - Method in class at.jku.risc.stout.uru.algo.Substitution

copy() - Method in class at.jku.risc.stout.uru.algo.UnifEquation

copy() - Method in class at.jku.risc.stout.uru.algo.UnifProblem

copy() - Method in class at.jku.risc.stout.uru.algo.UnifSystem

copy() - Method in class at.jku.risc.stout.uru.data.atom.TermAtom

copy() - Method in class at.jku.risc.stout.uru.data.Hedge

copy() - Method in class at.jku.risc.stout.uru.data.TermNode

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

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

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

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

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

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