Contains classes for creating Kodkod formulas, expressions, and integer expressions.

Package Specification

Contains the classes for creating a Kodkod abstract syntax tree (AST). An object such as a quantified formula or a union expression is called a node. The {@linkplain kodkod.ast.Node} class is the root of the Kodkod syntax hierarchy.

All classes in this package are immutable. Their instances are created by calling factory methods of the classes {@linkplain kodkod.ast.Relation}, {@linkplain kodkod.ast.Variable}, {@linkplain kodkod.ast.Expression}, {@linkplain kodkod.ast.IntExpression}, and {@linkplain kodkod.ast.Formula}. Nodes can be freely shared between multiple parents (so a Kodkod AST is actually a directed acyclic graph).

Related Documentation

@see kodkod.ast.Relation @see kodkod.ast.Variable @see kodkod.ast.Expression @see kodkod.ast.IntExpression @see kodkod.ast.Formula @see kodkod.ast.Node