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

R

remove() - Method in class at.jku.risc.stout.urmc.algo.MatchProblem

remove() - Method in class at.jku.risc.stout.urmc.algo.MatchSystemCollection

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

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

replaceHole(Hedge) - Method in class at.jku.risc.stout.urmc.data.TermNode

Replaces the hole in this context with the given hedge.

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

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