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