Uses of Class
jdrew.oo.td.BackwardReasoner

Packages that use BackwardReasoner

jdrew.oo.td.builtins

Uses of BackwardReasoner in jdrew.oo.td.builtins

Constructors in jdrew.oo.td.builtins with parameters of type BackwardReasoner

AssertBuiltin(BackwardReasoner br)
Constructs a new object to implement the assert built-in relation.

RegisterBuiltin(BackwardReasoner br, java.lang.String symbol)
Constructs a new object to implement the register built-in relation.