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

S

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

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

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

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

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

SIGMA_EMPTY_REPLACEMENT - Static variable in class at.jku.risc.stout.uru.algo.Substitution

Most likely you want to change Hedge.PRINT_PARAM_START and Hedge.PRINT_PARAM_END instead of this variable.

SIGMA_END - Static variable in class at.jku.risc.stout.uru.algo.Substitution

Default = "} "

SIGMA_MAPTO - Static variable in class at.jku.risc.stout.uru.algo.Substitution

Default = " -> "

SIGMA_START - Static variable in class at.jku.risc.stout.uru.algo.Substitution

Default = "{"

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

subHedge(int, int) - Method in class at.jku.risc.stout.uru.data.Hedge

substitute(Variable, TermNode, TermNode) - Method in class at.jku.risc.stout.uru.data.atom.TermAtom

substitute(Variable, TermNode, TermNode) - Method in class at.jku.risc.stout.uru.data.atom.Variable

substitute(Variable, TermNode) - Method in class at.jku.risc.stout.uru.data.Hedge

substitute(Variable, TermNode) - Method in class at.jku.risc.stout.uru.data.TermNode

Substitutes one Variable by a TermNode recursively and returns the new TermNode.

Substitution - Class in at.jku.risc.stout.uru.algo

Substitution() - Constructor for class at.jku.risc.stout.uru.algo.Substitution

Substitution(Map<Variable, TermNode>) - Constructor for class at.jku.risc.stout.uru.algo.Substitution

SUFFIX_FreshHedgeVar - Static variable in class at.jku.risc.stout.uru.data.atom.NodeFactory

SUFFIX_FreshTermVar - Static variable in class at.jku.risc.stout.uru.data.atom.NodeFactory

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

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