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

R

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
 
$ A B C D E F G H I L M N O P R S T V 
Skip navigation links