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).