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

S

set(TermAtom, TermAtom) - Method in class at.jku.risc.stout.urauc.data.Alignment.AlignmentAtom

setAlignment(Alignment) - Method in class at.jku.risc.stout.urauc.algo.AlignFncInput

The alignment must be admissible.

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

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

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

setAtomIfTailAdmissible(int, Alignment.AlignmentAtom) - Method in class at.jku.risc.stout.urauc.data.Alignment

Sets the Alignment.AlignmentAtom at the given (relative) position if the atom is admissible with the elements behind it (the elements with higher index).

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

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

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

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

setIgnoreLeaves(Map<TermAtom, Integer>) - Method in class at.jku.risc.stout.urauc.data.Hedge

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

Set the left hedge of this AUP.

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

setLeftFixed(boolean) - Method in class at.jku.risc.stout.urauc.algo.AntiUnifyProblem.CommutativeArrangementIter

setMatchAtom(int, int, int, TermAtom, TermAtom) - Method in class at.jku.risc.stout.urauc.algo.ContourArrangement

Adds a new element to a certain Contour and creates a new Contour if necessary.

setPositionIndex(int[]) - Method in class at.jku.risc.stout.urauc.data.atom.TermAtom

setPositionRecurse(int, int) - Method in class at.jku.risc.stout.urauc.data.TermNode

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

Set the left hedge of this AUP.

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

setRightFixed(boolean) - Method in class at.jku.risc.stout.urauc.algo.AntiUnifyProblem.CommutativeArrangementIter

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

Sets the relative size and increases the capacity if necessary.

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

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

Default = "} "

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

Default = " -> "

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

Default = "{"

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

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

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

Returns the number of equations in this system.

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

size - Variable in class at.jku.risc.stout.urauc.data.TermAtomList

size - Variable in class at.jku.risc.stout.urauc.util.IntList

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

The relative size of this list is defined by size - start.

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

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

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

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

Returns a view of the tail of this hedge starting at the specified fromIndex, inclusive.

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

Returns a view of the portion of this hedge between the specified fromIndex, inclusive, and toIndex, exclusive.

subList(int, int) - Method in class at.jku.risc.stout.urauc.util.TinyList

subList(int) - Method in class at.jku.risc.stout.urauc.util.TinyList

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

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

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

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

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

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

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

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

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

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

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

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

SUFFIX_FreshHedgeVar - 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