Hierarchy For Package kodkod.ast

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • kodkod.ast.Node
    • kodkod.ast.Decls (implements java.lang.Iterable<T>)
      • kodkod.ast.Decl
    • kodkod.ast.Expression
      • kodkod.ast.BinaryExpression
      • kodkod.ast.Comprehension
      • kodkod.ast.IfExpression
      • kodkod.ast.IntToExprCast
      • kodkod.ast.LeafExpression
        • kodkod.ast.ConstantExpression
        • kodkod.ast.Relation
        • kodkod.ast.Variable
      • kodkod.ast.NaryExpression (implements java.lang.Iterable<T>)
      • kodkod.ast.ProjectExpression
      • kodkod.ast.UnaryExpression
    • kodkod.ast.Formula
      • kodkod.ast.BinaryFormula
      • kodkod.ast.ComparisonFormula
      • kodkod.ast.ConstantFormula
      • kodkod.ast.IntComparisonFormula
      • kodkod.ast.MultiplicityFormula
      • kodkod.ast.NaryFormula (implements java.lang.Iterable<T>)
      • kodkod.ast.NotFormula
      • kodkod.ast.QuantifiedFormula
      • kodkod.ast.RelationPredicate
        • kodkod.ast.RelationPredicate.Acyclic
        • kodkod.ast.RelationPredicate.Function
        • kodkod.ast.RelationPredicate.TotalOrdering
    • kodkod.ast.IntExpression
      • kodkod.ast.BinaryIntExpression
      • kodkod.ast.ExprToIntCast
      • kodkod.ast.IfIntExpression
      • kodkod.ast.IntConstant
      • kodkod.ast.NaryIntExpression (implements java.lang.Iterable<T>)
      • kodkod.ast.SumExpression
      • kodkod.ast.UnaryIntExpression

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • kodkod.ast.RelationPredicate.Name