Hierarchy For Package logic

Class Hierarchy

• class java.lang.Object
  • class logic.Engine
  • class logic.Main
  • class logic.Parser
  • class logic.Substitution
  • class logic.SymbolicObject (implements java.lang.Cloneable)
    • class logic.Sentence
      • class logic.AtomicSentence
        • class logic.False
        • class logic.Predicate
        • class logic.True
      • class logic.Connective
        • class logic.Conjunction
        • class logic.Disjunction
      • class logic.Effect
        • class logic.Assignment
        • class logic.ConditionalOutcome
        • class logic.ProbabilisticOutcome
      • class logic.Identity
      • class logic.Negation
      • class logic.Precondition
        • class logic.DisjunctivePrecondition
      • class logic.Quantifier
        • class logic.Existential
        • class logic.Universal
    • class logic.SList (implements java.util.List)
    • class logic.Term
      • class logic.AtomicTerm
        • class logic.Literal
        • class logic.Variable
        • class logic.Wildcard
      • class logic.CompoundTerm
        • class logic.Structure
          • class logic.FunctionalStructure
    • class logic.TermList (implements java.util.List)
  • class logic.Token
  • class logic.Tokenizer