Package org.clafer.ast

This package provides the language for building Clafer AST.

See: Description

Interface Summary

Interface	Description
AstBoolExpr
AstExpr	An expression in the AST language.
AstExprVisitor<A,B>	Dynamic dispatch for AST expressions.
AstSetExpr
AstVar

Class Summary

Class	Description
AstAbstractClafer	An abstract Clafer.
AstArithm	foldl1 op operands.
AstBoolArithm	foldl1 op operands.
AstBoolClafer	The primitive boolean Clafer.
AstCard
AstClafer	A Clafer in the model.
AstCompare
AstConcreteClafer	A concrete Clafer.
AstConstant	A constant set.
AstConstraint	An immutable constraint.
AstDecl
AstDifference
AstDowncast
AstExprRewriter<T>
AstGlobal	All the Clafers of a type.
AstIdFactory	A factory for creating unique identifiers.
AstIfThenElse
AstIntClafer	The primitive integer Clafer.
AstIntersection
AstJoin
AstJoinParent
AstJoinRef
AstLocal	A local is a binding of a value to a name in quantifiers.
AstMembership
AstMinus
AstModel	The Clafer model.
AstNot	Negate a boolean expression.
AstPrimClafer	A primitive Clafer.
AstQuantify
AstRef
Asts	Import this class to access all AST building functions.
AstSetTest
AstSum
AstTernary
AstThis	Do NOT reuse for different expressions.
AstUnion
AstUpcast
AstUtil	Various static utility functions for working with AST.
Card	Low and high cardinality.

Enum Summary

Enum	Description
AstArithm.Op
AstBoolArithm.Op
AstCompare.Op
AstMembership.Op
AstQuantify.Quantifier
AstSetTest.Op

Exception Summary

Exception	Description
AstException

Package org.clafer.ast Description

This package provides the language for building Clafer AST. AST -> IR -> Choco

The AST is the input of the API for solving models. The AST is compiled to IR before finally compiled to Choco.

The AST represents the desugared form of Clafer, where all implicit assumptions like cardinality and joining on references must be made explicit.

Author:

jimmy