|
Class Summary |
| BackwardChainingWalker |
BackwardChainingWalker.java
Created: Mon Mar 15 03:18:49 1999 |
| Goal |
Goal.java
Created: Sun Oct 29 00:50:05 2000 |
| GraphWalker |
GraphWalker.java
This class walks through the graph of ValueCollections connected with ValueLinks. |
| MembershipProofStep |
This proof step indicates that, in the frame system, a
specific ValueCollection contains the value in
question. |
| Multiplexor |
|
| ValueCollection |
ValueCollection.java
Created: Mon Mar 15 02:52:57 1999 |
| ValueLink |
ValueLink.java
This class represents the inclusion of one value collection, the source, into
another, the target. |