Overview | Package | Class | Tree | Deprecated | Index | Help
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES

## Package org.opencyc.inferencesupport

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.

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES