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

S

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

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

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

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

setLeft(TermNode) - Method in class at.jku.risc.stout.hoau.algo.AntiUnifyProblem

setLeft(TermNode) - Method in class at.jku.risc.stout.hoau.algo.PermEquivProblem

setLeft(TermNode) - Method in interface at.jku.risc.stout.hoau.data.Equation

Sets the left hand side of the equation to the given TermNode.

setRight(TermNode) - Method in class at.jku.risc.stout.hoau.algo.AntiUnifyProblem

setRight(TermNode) - Method in class at.jku.risc.stout.hoau.algo.PermEquivProblem

setRight(TermNode) - Method in interface at.jku.risc.stout.hoau.data.Equation

Sets the right hand side of the equation to the given TermNode.

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

Default = "} "

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

Default = " -> "

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

Default = "{"

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

Returns the number of equations in this system.

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

start(Set<? extends Variable>, Set<? extends Variable>) - Method in class at.jku.risc.stout.hoau.algo.PermEquivSystem

Initializes the permutation computation.

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

substitute(BoundVariable, BoundVariable) - Method in class at.jku.risc.stout.hoau.data.Hedge

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

Substitutes a variable by a term and returns the result.

substitute(BoundVariable, BoundVariable) - Method in class at.jku.risc.stout.hoau.data.TermNode

Substitutes one bound variable by another bound variable.

Substitution - Class in at.jku.risc.stout.hoau.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(int) - Constructor for class at.jku.risc.stout.hoau.algo.Substitution

Creates an empty substitution with the given upper bound for the beta reduction.

SUFFIX_FreshBoundVar - Static variable in class at.jku.risc.stout.hoau.data.NodeFactory

SUFFIX_FreshFreeVar - Static variable in class at.jku.risc.stout.hoau.data.NodeFactory

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