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. |