|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use ForwardReasoner | |
|---|---|
| jdrew.oo.bu.builtins | |
| Uses of ForwardReasoner in jdrew.oo.bu.builtins |
|---|
| Constructors in jdrew.oo.bu.builtins with parameters of type ForwardReasoner | |
|---|---|
AssertBuiltin(ForwardReasoner fr)
Constructs a new object to implement the assert built-in relation. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||