Uses of Package
org.clafer.ast

Packages that use org.clafer.ast

Package	Description
org.clafer.ast	This package provides the language for building Clafer AST.
org.clafer.ast.analysis	This package provides various analysis and optimizations to perform on the AST.
org.clafer.ast.compiler	This package provides a compiler to translate Clafer AST to IR.
org.clafer.compiler	This package provides a compiler from AST to Choco including algorithms for solving optimal instances and max unsat.
org.clafer.instance	This package provides structure for working with instances.
org.clafer.javascript	This package provides classes for building Clafer models and invoking the solver via Javascript.
org.clafer.objective
org.clafer.scope	This package provides classes for building and retrieving the scope.

Classes in org.clafer.ast used by org.clafer.ast

Class and Description
AstAbstractClafer An abstract Clafer.
AstArithm foldl1 op operands.
AstArithm.Op
AstBoolArithm foldl1 op operands.
AstBoolArithm.Op
AstBoolClafer The primitive boolean Clafer.
AstBoolExpr
AstCard
AstClafer A Clafer in the model.
AstCompare
AstCompare.Op
AstConcreteClafer A concrete Clafer.
AstConstant A constant set.
AstConstraint An immutable constraint.
AstDecl
AstDifference
AstDowncast
AstExpr An expression in the AST language.
AstExprVisitor Dynamic dispatch for AST expressions.
AstGlobal All the Clafers of a type.
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
AstMembership.Op
AstMinus
AstModel The Clafer model.
AstNot Negate a boolean expression.
AstPrimClafer A primitive Clafer.
AstQuantify
AstQuantify.Quantifier
AstRef
AstSetExpr
AstSetTest
AstSetTest.Op
AstSum
AstTernary
AstThis Do NOT reuse for different expressions.
AstUnion
AstUpcast
AstVar
Card Low and high cardinality.

Classes in org.clafer.ast used by org.clafer.ast.analysis

Class and Description
AstAbstractClafer An abstract Clafer.
AstBoolExpr
AstClafer A Clafer in the model.
AstConcreteClafer A concrete Clafer.
AstConstraint An immutable constraint.
AstExpr An expression in the AST language.
AstExprRewriter
AstExprVisitor Dynamic dispatch for AST expressions.
AstJoin
AstJoinParent
AstModel The Clafer model.
AstRef
AstSetExpr
Card Low and high cardinality.

Classes in org.clafer.ast used by org.clafer.ast.compiler

Class and Description
AstClafer A Clafer in the model.
AstConstraint An immutable constraint.
AstModel The Clafer model.
AstRef

Classes in org.clafer.ast used by org.clafer.compiler

Class and Description
AstConcreteClafer A concrete Clafer.
AstConstraint An immutable constraint.
AstModel The Clafer model.

Classes in org.clafer.ast used by org.clafer.instance

Class and Description
AstClafer A Clafer in the model.
AstConcreteClafer A concrete Clafer.

Classes in org.clafer.ast used by org.clafer.javascript

Class and Description
AstClafer A Clafer in the model.
AstConstraint An immutable constraint.
AstModel The Clafer model.
AstSetExpr

Classes in org.clafer.ast used by org.clafer.objective

Class and Description
AstSetExpr

Classes in org.clafer.ast used by org.clafer.scope

Class and Description
AstClafer A Clafer in the model.