Hierarchy For Package com.ibm.wala.logic

Package Hierarchies:

All Packages

Class Hierarchy

• java.lang.Object
  • com.ibm.wala.logic.AbstractConstant (implements com.ibm.wala.logic.IConstant)
    • com.ibm.wala.logic.BooleanConstant
    • com.ibm.wala.logic.IntConstant
  • com.ibm.wala.logic.AbstractVocabulary<T> (implements com.ibm.wala.logic.IVocabulary<T>)
    • com.ibm.wala.logic.BasicVocabulary<T>
    • com.ibm.wala.logic.CombinedVocabulary
  • com.ibm.wala.logic.BinaryFormula (implements com.ibm.wala.logic.IFormula)
  • com.ibm.wala.logic.BinaryFunction (implements com.ibm.wala.logic.IFunction)
  • com.ibm.wala.logic.BinaryRelation (implements com.ibm.wala.logic.IRelation)
    • com.ibm.wala.logic.InvertedUnaryFunction
  • com.ibm.wala.logic.BooleanConstantFormula (implements com.ibm.wala.logic.IFormula)
  • com.ibm.wala.logic.DefaultDecorator (implements com.ibm.wala.logic.ILogicDecorator)
    • com.ibm.wala.logic.AbstractTheory (implements com.ibm.wala.logic.ITheory)
      • com.ibm.wala.logic.BasicTheory
      • com.ibm.wala.logic.CombinedTheory
  • com.ibm.wala.logic.FunctionTerm (implements com.ibm.wala.logic.ITerm)
  • com.ibm.wala.logic.NaryFunction (implements com.ibm.wala.logic.IFunction)
  • com.ibm.wala.logic.NotFormula (implements com.ibm.wala.logic.IFormula)
  • com.ibm.wala.logic.NullaryFunction (implements com.ibm.wala.logic.IFunction)
  • com.ibm.wala.logic.QuantifiedFormula (implements com.ibm.wala.logic.IFormula)
  • com.ibm.wala.logic.RelationFormula (implements com.ibm.wala.logic.IFormula)
  • com.ibm.wala.logic.Simplifier
  • com.ibm.wala.logic.UnaryFunction (implements com.ibm.wala.logic.IFunction)
  • com.ibm.wala.logic.UnaryRelation (implements com.ibm.wala.logic.IRelation)
  • com.ibm.wala.logic.Variable (implements java.lang.Comparable<T>, com.ibm.wala.logic.ITerm)

Interface Hierarchy

• com.ibm.wala.logic.IFormula
• com.ibm.wala.logic.IFunction
• com.ibm.wala.logic.ILogicConstants
• com.ibm.wala.logic.ILogicDecorator
• com.ibm.wala.logic.IRelation
• com.ibm.wala.logic.ITerm
  • com.ibm.wala.logic.IConstant
• com.ibm.wala.logic.ITheory
• com.ibm.wala.logic.IVocabulary<T>

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • com.ibm.wala.logic.IFormula.Kind
    • com.ibm.wala.logic.ILogicConstants.Quantifier
    • com.ibm.wala.logic.ITerm.Kind
    • com.ibm.wala.logic.ILogicConstants.BinaryConnective