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

S

setAtom(TermAtom) - Method in class at.jku.risc.stout.urmc.data.TermNode

Null values are transformed to unique objects which represent the null value.

setHedge(Hedge) - Method in class at.jku.risc.stout.urmc.data.TermNode

Null values are transformed to unique objects which represent the null value.

setLeft(TermNode) - Method in class at.jku.risc.stout.urmc.algo.MatchEquation

setNext(MatchEquation) - Method in class at.jku.risc.stout.urmc.algo.MatchEquation

setNext(MatchSystem) - Method in class at.jku.risc.stout.urmc.algo.MatchSystem

setRight(TermNode) - Method in class at.jku.risc.stout.urmc.algo.MatchEquation

SIGMA_EMPTY_REPLACEMENT - Static variable in class at.jku.risc.stout.urmc.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.urmc.algo.Substitution

Default = "} "

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

Default = " -> "

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

Default = "{"

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

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

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

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

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

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

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

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

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

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

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

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

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

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

swap() - Method in class at.jku.risc.stout.urmc.algo.MatchEquation

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