Hierarchy For Package sjm.engine

Package Hierarchies:

All Packages

Class Hierarchy

• class java.lang.Object
  • class sjm.engine.Program (implements sjm.engine.AxiomSource)
  • class sjm.engine.ProgramEnumerator (implements sjm.engine.AxiomEnumeration)
  • class sjm.engine.Rule (implements sjm.engine.Axiom)
    • class sjm.engine.DynamicRule (implements sjm.engine.DynamicAxiom)
      • class sjm.engine.Query
  • class sjm.engine.Scope (implements sjm.utensil.PubliclyCloneable)
  • class sjm.engine.Structure (implements sjm.engine.Term)
    • class sjm.engine.ArithmeticOperator (implements sjm.engine.ArithmeticTerm)
    • class sjm.engine.ConsultingStructure
    • class sjm.engine.Fact (implements sjm.engine.Axiom, sjm.engine.DynamicAxiom)
      • class sjm.engine.Atom (implements sjm.engine.ComparisonTerm)
        • class sjm.engine.BooleanFact
        • class sjm.engine.NumberFact (implements sjm.engine.ArithmeticTerm)
      • class sjm.engine.EmptyList
    • class sjm.engine.Gateway
      • class sjm.engine.Comparison (implements sjm.engine.BooleanTerm)
      • class sjm.engine.ConsultingNot
      • class sjm.engine.Evaluation
    • class sjm.engine.Not
  • class java.lang.Throwable (implements java.io.Serializable)
    • class java.lang.Exception
      • class java.lang.RuntimeException
        • class sjm.engine.EvaluationException
  • class sjm.engine.Unification
  • class sjm.engine.Variable (implements sjm.engine.ArithmeticTerm, sjm.engine.ComparisonTerm)
    • class sjm.engine.Anonymous

Interface Hierarchy

• interface sjm.engine.Axiom
• interface sjm.engine.AxiomEnumeration
• interface sjm.engine.AxiomSource
• interface sjm.engine.DynamicAxiom
• interface sjm.engine.Term
  • interface sjm.engine.BooleanTerm
  • interface sjm.engine.ComparisonTerm
    • interface sjm.engine.ArithmeticTerm