A B C D E F G H I J L M P R S T V

R

remove(Literal) - Method in class jildt.bb.BelieveEntry

remove(Literal) - Method in class jildt.bb.LearningBeliefBase

rho(ListTerm, ListTerm) - Method in class jildt.tilde.execTilde

Generates the candidates to be part of a tree.

rho - Class in jildt.tilde

Internal action to generate the refinement candidates for the query Q.

rho() - Constructor for class jildt.tilde.rho