|
Class Summary |
| Binding |
Binding object to model the attributes and behavior of a variable binding to a
value. |
| BindingSet |
BindingSet object to contain bindings for query literals. |
| ConstraintRule |
ConstraintRule object to model the attributes and behavior of a constraint rule. |
| HornClause |
Provides attribute and behavior for a horn clause assertion, used
during backchaining inference. |
| Literal |
An abstract parent class for QueryLiteral and ConstraintRule classes. |
| QueryLiteral |
QueryLiteral object to model the attributes and behavior of a query literal. |
| Solution |
Solution object to model the attributes and behavior of
solutions to the ConstraintProblem. |
| UnitTest |
Provides a suite of JUnit test cases for the org.opencyc.inferencesupport package. |