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

R

remove() - Method in class at.jku.risc.stout.uru.algo.UnifProblem

remove() - Method in class at.jku.risc.stout.uru.algo.UnifSystemCollection

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

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

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

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