Uses of Interface
org.clafer.ast.AstSetExpr

Packages that use AstSetExpr

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.javascript	This package provides classes for building Clafer models and invoking the solver via Javascript.
org.clafer.objective

Uses of AstSetExpr in org.clafer.ast

Classes in org.clafer.ast that implement AstSetExpr

Modifier and Type	Class and Description
class	AstArithm foldl1 op operands.
class	AstCard
class	AstConstant A constant set.
class	AstDifference
class	AstDowncast
class	AstGlobal All the Clafers of a type.
class	AstIntersection
class	AstJoin
class	AstJoinParent
class	AstJoinRef
class	AstLocal A local is a binding of a value to a name in quantifiers.
class	AstMinus
class	AstSum
class	AstTernary
class	AstThis Do NOT reuse for different expressions.
class	AstUnion
class	AstUpcast

Methods in org.clafer.ast that return AstSetExpr

Modifier and Type	Method and Description
static AstSetExpr	Asts.add(AstSetExpr... addends)
static AstSetExpr	Asts.arithm(AstArithm.Op op, AstSetExpr... operands)
static AstSetExpr	Asts.card(AstSetExpr set)
static AstSetExpr	Asts.diff(AstSetExpr left, AstSetExpr right)
static AstSetExpr	Asts.div(AstSetExpr... divisors)
static AstSetExpr	Asts.downcast(AstSetExpr base, AstClafer target) Downcast an expression.
AstSetExpr	AstTernary.getAlternative()
AstSetExpr	AstUpcast.getBase()
AstSetExpr	AstDowncast.getBase()
AstSetExpr	AstDecl.getBody()
AstSetExpr	AstJoinParent.getChildren()
AstSetExpr	AstTernary.getConsequent()
AstSetExpr	AstJoinRef.getDeref()
AstSetExpr	AstMinus.getExpr()
AstSetExpr	AstIntersection.getLeft()
AstSetExpr	AstCompare.getLeft()
AstSetExpr	AstSetTest.getLeft()
AstSetExpr	AstDifference.getLeft()
AstSetExpr	AstUnion.getLeft()
AstSetExpr	AstJoin.getLeft()
AstSetExpr	AstMembership.getMember()
AstSetExpr[]	AstArithm.getOperands()
AstSetExpr	AstIntersection.getRight()
AstSetExpr	AstCompare.getRight()
AstSetExpr	AstSetTest.getRight()
AstSetExpr	AstDifference.getRight()
AstSetExpr	AstUnion.getRight()
AstSetExpr	AstSum.getSet()
AstSetExpr	AstMembership.getSet()
AstSetExpr	AstCard.getSet()
static AstSetExpr	Asts.ifThenElse(AstBoolExpr antecedent, AstSetExpr consequent, AstSetExpr alternative)
static AstSetExpr	Asts.inter(AstSetExpr left, AstSetExpr right)
static AstSetExpr	Asts.join(AstSetExpr left, AstConcreteClafer right)
static AstSetExpr	Asts.joinParent(AstSetExpr children)
static AstSetExpr	Asts.joinRef(AstSetExpr deref)
static AstSetExpr	Asts.minus(AstSetExpr expr)
static AstSetExpr	Asts.mul(AstSetExpr... multipliers)
AstSetExpr[]	AstExprRewriter.rewrite(AstSetExpr[] exprs, T t)
AstSetExpr	AstExprRewriter.rewrite(AstSetExpr expr, T t)
static AstSetExpr	Asts.sub(AstSetExpr... subtrahends)
static AstSetExpr	Asts.sum(AstSetExpr set)
static AstSetExpr	Asts.union(AstSetExpr left, AstSetExpr right)
static AstSetExpr	Asts.upcast(AstSetExpr base, AstAbstractClafer target) Upcast an expression.

Methods in org.clafer.ast with parameters of type AstSetExpr

Modifier and Type	Method and Description
static AstSetExpr	Asts.add(AstSetExpr... addends)
static AstSetExpr	Asts.arithm(AstArithm.Op op, AstSetExpr... operands)
static AstSetExpr	Asts.card(AstSetExpr set)
static AstBoolExpr	Asts.compare(AstSetExpr left, AstCompare.Op op, AstSetExpr right)
static AstDecl	Asts.decl(AstLocal[] locals, AstSetExpr body)
static AstDecl	Asts.decl(AstLocal local, AstSetExpr body)
static AstDecl	Asts.decl(boolean disjoint, AstLocal[] locals, AstSetExpr body)
static AstSetExpr	Asts.diff(AstSetExpr left, AstSetExpr right)
static AstDecl	Asts.disjDecl(AstLocal[] locals, AstSetExpr body)
static AstSetExpr	Asts.div(AstSetExpr... divisors)
static AstSetExpr	Asts.downcast(AstSetExpr base, AstClafer target) Downcast an expression.
static AstBoolExpr	Asts.equal(AstSetExpr left, AstSetExpr right)
static AstBoolExpr	Asts.greaterThan(AstSetExpr left, AstSetExpr right)
static AstBoolExpr	Asts.greaterThanEqual(AstSetExpr left, AstSetExpr right)
static AstSetExpr	Asts.ifThenElse(AstBoolExpr antecedent, AstSetExpr consequent, AstSetExpr alternative)
static AstBoolExpr	Asts.in(AstSetExpr member, AstSetExpr set)
static AstSetExpr	Asts.inter(AstSetExpr left, AstSetExpr right)
static AstSetExpr	Asts.join(AstSetExpr left, AstConcreteClafer right)
static AstSetExpr	Asts.joinParent(AstSetExpr children)
static AstSetExpr	Asts.joinRef(AstSetExpr deref)
static AstBoolExpr	Asts.lessThan(AstSetExpr left, AstSetExpr right)
static AstBoolExpr	Asts.lessThanEqual(AstSetExpr left, AstSetExpr right)
static AstBoolExpr	Asts.lone(AstSetExpr set)
static AstBoolExpr	Asts.membership(AstSetExpr member, AstMembership.Op op, AstSetExpr set)
static AstSetExpr	Asts.minus(AstSetExpr expr)
static AstSetExpr	Asts.mul(AstSetExpr... multipliers)
static AstBoolExpr	Asts.none(AstSetExpr set)
static AstBoolExpr	Asts.notEqual(AstSetExpr left, AstSetExpr right)
static AstBoolExpr	Asts.notIn(AstSetExpr member, AstSetExpr set)
static AstBoolExpr	Asts.one(AstSetExpr set)
AstSetExpr[]	AstExprRewriter.rewrite(AstSetExpr[] exprs, T t)
AstSetExpr	AstExprRewriter.rewrite(AstSetExpr expr, T t)
static AstBoolExpr	Asts.some(AstSetExpr set)
static AstSetExpr	Asts.sub(AstSetExpr... subtrahends)
static AstSetExpr	Asts.sum(AstSetExpr set)
static AstBoolExpr	Asts.test(AstSetExpr left, AstSetTest.Op op, AstSetExpr right)
static AstSetExpr	Asts.union(AstSetExpr left, AstSetExpr right)
static AstSetExpr	Asts.upcast(AstSetExpr base, AstAbstractClafer target) Upcast an expression.
AstDecl	AstDecl.withBody(AstSetExpr body)

Constructors in org.clafer.ast with parameters of type AstSetExpr

Constructor and Description
AstCard(AstSetExpr set)
AstDecl(boolean disjoint, AstLocal[] locals, AstSetExpr body)
AstDifference(AstSetExpr left, AstSetExpr right)
AstIntersection(AstSetExpr left, AstSetExpr right)
AstJoinParent(AstSetExpr children)
AstUnion(AstSetExpr left, AstSetExpr right)

Uses of AstSetExpr in org.clafer.ast.analysis

Methods in org.clafer.ast.analysis that return AstSetExpr

Modifier and Type	Method and Description
AstSetExpr	Analysis.getExpr(Objective objective)

Methods in org.clafer.ast.analysis that return types with arguments of type AstSetExpr

Modifier and Type	Method and Description
Map<Objective,AstSetExpr>	Analysis.getObjectiveExprs()

Method parameters in org.clafer.ast.analysis with type arguments of type AstSetExpr

Modifier and Type	Method and Description
Analysis	Analysis.setObjectiveExprs(Map<Objective,AstSetExpr> objectiveExprs)

Uses of AstSetExpr in org.clafer.javascript

Methods in org.clafer.javascript with parameters of type AstSetExpr

Modifier and Type	Method and Description
void	JavascriptContext.addMaximizeObjective(AstSetExpr expr)
void	JavascriptContext.addMinimizeObjective(AstSetExpr expr)

Uses of AstSetExpr in org.clafer.objective

Methods in org.clafer.objective that return AstSetExpr

Modifier and Type	Method and Description
AstSetExpr	Objective.getExpr() Returns the expression to optimize.

Methods in org.clafer.objective with parameters of type AstSetExpr

Modifier and Type	Method and Description
static Objective	Objective.maximize(AstSetExpr expression) Create a new maximization objective.
static Objective	Objective.minimize(AstSetExpr expression) Create a new minimization objective.