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.