Hierarchy For Package formula

Package Hierarchies:

All Packages

Class Hierarchy

• java.lang.Object
  • formula.Conjunction (implements formula.Formula)
  • formula.Disjunction (implements formula.Formula)
  • formula.Environment
  • formula.LogicalConstant (implements formula.Formula)
  • formula.Named (implements java.lang.Comparable<T>)
    • formula.LogicalVariable (implements formula.Formula)
  • formula.Negation (implements formula.Formula)

Interface Hierarchy

• formula.Formula