- remove(int) - Method in class at.jku.risc.stout.tgau.util.DynamicArray
-
- remove(int) - Method in class at.jku.risc.stout.tgau.util.IntList
-
- removeByValue(Variable) - Method in class at.jku.risc.stout.tgau.data.TermGraph
-
Removes one mapping for a given value and returns the key.
- removeLast() - Method in class at.jku.risc.stout.tgau.algo.AlignmentList.Alignment
-
- removeLast() - Method in class at.jku.risc.stout.tgau.algo.AlignmentList
-
Removes the last element of this list of alignments.
- removeLast() - Method in class at.jku.risc.stout.tgau.data.TermAtomList
-
- removeLast() - Method in class at.jku.risc.stout.tgau.util.CoordList
-
- removeLast() - Method in class at.jku.risc.stout.tgau.util.TinyList
-
guarantees complexity O(1) by definition
- removePool() - Method in class at.jku.risc.stout.tgau.util.Pool
-
Removes this pool and let the garbage collector do it's work.
- reset() - Method in class at.jku.risc.stout.tgau.algo.AlignmentList.Alignment
-
Resets the alignment to the initial state.
- reset() - Method in class at.jku.risc.stout.tgau.algo.TermGraphNormalizer
-
- resetAllMappings() - Method in class at.jku.risc.stout.tgau.data.TermGraph
-
- rFnc - Static variable in class at.jku.risc.stout.tgau.algo.AntiUnifySystem
-
- rFncC - Static variable in class at.jku.risc.stout.tgau.algo.AntiUnifySystem
-
- right - Variable in class at.jku.risc.stout.tgau.algo.HedgeAUP
-
- right - Variable in class at.jku.risc.stout.tgau.algo.TermAUP
-
- right - Variable in class at.jku.risc.stout.tgau.data.TermAtomEquation
-
- RigidityFnc - Class in at.jku.risc.stout.tgau.algo
-
This is the base class to all rigidity functions.
- RigidityFnc() - Constructor for class at.jku.risc.stout.tgau.algo.RigidityFnc
-
- RigidityFncSubsequence - Class in at.jku.risc.stout.tgau.algo
-
Implementation for rigidity function with subsequence matching.
- RigidityFncSubsequence() - Constructor for class at.jku.risc.stout.tgau.algo.RigidityFncSubsequence
-
- RigidityFncSubstring - Class in at.jku.risc.stout.tgau.algo
-
Implementation for rigidity function with substring matching.
Let m be the number of left term atoms and n be the number of right term
atoms.
Time complexity = O(m * n)
Space complexity = O(max(m, n))
This implementation reuses all the allocated objects for performance reasons.
- RigidityFncSubstring() - Constructor for class at.jku.risc.stout.tgau.algo.RigidityFncSubstring
-