kodkod.ast
Interfaces 
Node
Classes 
BinaryExpression
BinaryFormula
BinaryIntExpression
ComparisonFormula
Comprehension
ConstantExpression
ConstantFormula
Decl
Decls
Expression
ExprToIntCast
Formula
IfExpression
IfIntExpression
IntComparisonFormula
IntConstant
IntExpression
IntToExprCast
LeafExpression
MultiplicityFormula
NotFormula
ProjectExpression
QuantifiedFormula
Relation
RelationPredicate
RelationPredicate.Acyclic
RelationPredicate.Function
RelationPredicate.TotalOrdering
SumExpression
UnaryExpression
UnaryIntExpression
Variable
Enums 
BinaryExpression.Operator
BinaryFormula.Operator
BinaryIntExpression.Operator
ComparisonFormula.Operator
ExprToIntCast.Operator
IntComparisonFormula.Operator
Multiplicity
QuantifiedFormula.Quantifier
RelationPredicate.Name
UnaryExpression.Operator
UnaryIntExpression.Operator