## Hierarchy For Package org.opencyc.inferencesupport

Package Hierarchies:
  All Packages

## Class Hierarchy

- class java.lang.Object
  - class junit.framework.Assert
    - class junit.framework.TestCase (implements junit.framework.Test)
      - class org.opencyc.inferencesupport.UnitTest
  - class org.opencyc.inferencesupport.Binding (implements java.lang.Comparable)
  - class org.opencyc.inferencesupport.BindingSet (implements java.lang.Comparable)
  - class org.opencyc.inferencesupport.HornClause
  - class org.opencyc.inferencesupport.Literal (implements java.lang.Comparable)
    - class org.opencyc.inferencesupport.ConstraintRule (implements java.lang.Comparable)
    - class org.opencyc.inferencesupport.QueryLiteral (implements java.lang.Comparable)
  - class org.opencyc.inferencesupport.Solution