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

S

set(TermAtom, int, int) - Method in class at.jku.risc.stout.urau.algo.AlignmentList.Alignment.AlignmentAtom

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

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

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

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

setMinLen(int) - Method in class at.jku.risc.stout.urau.algo.RigidityFnc

setMinLen(int) - Method in class at.jku.risc.stout.urau.algo.RigidityFncSubsequence

setMinLen(int) - Method in class at.jku.risc.stout.urau.algo.RigidityFncSubstring

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

Default = "} "

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

Default = " -> "

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

Default = "{"

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

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

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

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

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

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

size() - Method in class at.jku.risc.stout.urau.util.TinyList

guarantees complexity O(1) by definition

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

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

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

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

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

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

This class represents a substitution, which is a mapping from variables to terms.
It is used inside the rule based system AntiUnifySystem to compute generalizations for given AntiUnifyProblems.

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

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

SUFFIX_FreshTermVar - Static variable 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