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

R

RAN_PRINT_SEPARATOR - Static variable in class at.jku.risc.stout.urau.algo.Substitution

Default = "; "

removeLast() - Method in class at.jku.risc.stout.urau.algo.AlignmentList.Alignment

removeLast() - Method in class at.jku.risc.stout.urau.algo.AlignmentList

Removes the last element of this list of alignments.

removeLast() - Method in class at.jku.risc.stout.urau.data.EquationSystem

removeLast() - Method in class at.jku.risc.stout.urau.data.TermAtomList

removeLast() - Method in class at.jku.risc.stout.urau.util.CoordList

removeLast() - Method in class at.jku.risc.stout.urau.util.TinyList

guarantees complexity O(1) by definition

removePool() - Method in class at.jku.risc.stout.urau.util.Pool

Removes this pool and let the garbage collector do it's work.

replace(int, TermNode) - Method in class at.jku.risc.stout.urau.data.Hedge

Replaces the TermNode at the given position with a new TermNode if the TermAtom of the new node is not null.

reset() - Method in class at.jku.risc.stout.urau.algo.AlignmentList.Alignment

Resets the alignment to the initial state.

resetCounter() - Static method in class at.jku.risc.stout.urau.algo.AntiUnifySystem

resetCounter() - Static method in class at.jku.risc.stout.urau.data.NodeFactory

RigidityFnc - Class in at.jku.risc.stout.urau.algo

This is the base class to all rigidity functions.

RigidityFnc() - Constructor for class at.jku.risc.stout.urau.algo.RigidityFnc

RigidityFncSubsequence - Class in at.jku.risc.stout.urau.algo

Implementation for rigidity function with subsequence matching.
Let m be the number of left term atoms and n be the number of right term atoms.
Time complexity = Exponential worst case (back tracking) but should be OK in average case
Space complexity = O(m * n)

This implementation reuses all the allocated objects for performance reasons.

RigidityFncSubsequence() - Constructor for class at.jku.risc.stout.urau.algo.RigidityFncSubsequence

RigidityFncSubstring - Class in at.jku.risc.stout.urau.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.urau.algo.RigidityFncSubstring

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