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

S

set(TermAtom, int, int) - Method in class at.jku.risc.stout.tgau.algo.AlignmentList.Alignment.AlignmentAtom
 
setArgs(List<Variable>) - Method in class at.jku.risc.stout.tgau.data.atom.FunctionApplication
Null values are transformed to unique objects which represent the null value.
setCommutative(boolean) - Method in class at.jku.risc.stout.tgau.data.atom.FunctionSymbol
 
setCommutative(String...) - Method in class at.jku.risc.stout.tgau.data.NodeFactory
 
setMinLen(int) - Method in class at.jku.risc.stout.tgau.algo.RigidityFnc
 
setMinLen(int) - Method in class at.jku.risc.stout.tgau.algo.RigidityFncSubsequence
 
setMinLen(int) - Method in class at.jku.risc.stout.tgau.algo.RigidityFncSubstring
 
setRoot(TermVar) - Method in class at.jku.risc.stout.tgau.data.TermGraph
Just sets the root without removing any equations.
setSymbol(FunctionSymbol) - Method in class at.jku.risc.stout.tgau.data.atom.FunctionApplication
 
size() - Method in class at.jku.risc.stout.tgau.algo.AlignmentList.Alignment
 
size() - Method in class at.jku.risc.stout.tgau.algo.AlignmentList
 
size() - Method in class at.jku.risc.stout.tgau.data.TermAtomList
 
size() - Method in class at.jku.risc.stout.tgau.util.CoordList
 
size - Variable in class at.jku.risc.stout.tgau.util.DynamicArray
 
size - Variable in class at.jku.risc.stout.tgau.util.IntList
 
size() - Method in class at.jku.risc.stout.tgau.util.TinyList
guarantees complexity O(1) by definition
sortCommutative() - Method in class at.jku.risc.stout.tgau.data.TermGraph
Sort the outgoing edges of commutative function symbols.
substitute(Variable, Variable) - Method in class at.jku.risc.stout.tgau.data.TermGraph
Replaces one variable by another one.
substitute(Variable, List<Variable>) - Method in class at.jku.risc.stout.tgau.data.TermGraph
Replaces from by to.
suggestMapping(Variable, Term) - Method in class at.jku.risc.stout.tgau.data.TermGraph
Suggests a mapping from a variable to a term node.
swapAll(AlignmentList, int, List<Variable>, List<Variable>) - Method in class at.jku.risc.stout.tgau.algo.AlignmentList.Alignment
 
swapRec(int, int, AlignmentList, List<Variable>, List<Variable>) - Method in class at.jku.risc.stout.tgau.algo.AlignmentList.Alignment
 
$ A B C D E F G H I L M N O P R S T V 
Skip navigation links