Uses of Interface
org.clafer.ast.AstBoolExpr

Packages that use AstBoolExpr

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.

Uses of AstBoolExpr in org.clafer.ast

Classes in org.clafer.ast that implement AstBoolExpr

Modifier and Type	Class and Description
class	AstBoolArithm foldl1 op operands.
class	AstCompare
class	AstIfThenElse
class	AstMembership
class	AstNot Negate a boolean expression.
class	AstQuantify
class	AstSetTest

Methods in org.clafer.ast that return AstBoolExpr

Modifier and Type	Method and Description
static AstBoolExpr	Asts.all(AstDecl[] decls, AstBoolExpr body)
static AstBoolExpr	Asts.all(AstDecl decl, AstBoolExpr body)
static AstBoolExpr	Asts.and(AstBoolExpr... operands)
static AstBoolExpr	Asts.arithm(AstBoolArithm.Op op, AstBoolExpr... operands)
static AstBoolExpr	Asts.compare(AstSetExpr left, AstCompare.Op op, AstSetExpr right)
static AstBoolExpr	Asts.equal(AstSetExpr left, AstSetExpr right)
AstBoolExpr	AstIfThenElse.getAlternative()
AstBoolExpr	AstTernary.getAntecedent()
AstBoolExpr	AstIfThenElse.getAntecedent()
AstBoolExpr	AstQuantify.getBody()
AstBoolExpr	AstIfThenElse.getConsequent()
AstBoolExpr	AstConstraint.getExpr()
AstBoolExpr	AstNot.getExpr() Returns the expression to negated.
AstBoolExpr[]	AstBoolArithm.getOperands()
static AstBoolExpr	Asts.greaterThan(AstSetExpr left, AstSetExpr right)
static AstBoolExpr	Asts.greaterThanEqual(AstSetExpr left, AstSetExpr right)
static AstBoolExpr	Asts.ifOnlyIf(AstBoolExpr... operands)
static AstBoolExpr	Asts.ifThenElse(AstBoolExpr antecedent, AstBoolExpr consequent, AstBoolExpr alternative)
static AstBoolExpr	Asts.implies(AstBoolExpr... operands)
static AstBoolExpr	Asts.in(AstSetExpr member, AstSetExpr set)
static AstBoolExpr	Asts.lessThan(AstSetExpr left, AstSetExpr right)
static AstBoolExpr	Asts.lessThanEqual(AstSetExpr left, AstSetExpr right)
static AstBoolExpr	Asts.lone(AstClafer clafer)
static AstBoolExpr	Asts.lone(AstDecl[] decls, AstBoolExpr body)
static AstBoolExpr	Asts.lone(AstDecl decl, AstBoolExpr body)
static AstBoolExpr	Asts.lone(AstSetExpr set)
static AstBoolExpr	Asts.membership(AstSetExpr member, AstMembership.Op op, AstSetExpr set)
static AstBoolExpr	Asts.none(AstClafer clafer)
static AstBoolExpr	Asts.none(AstDecl[] decls, AstBoolExpr body)
static AstBoolExpr	Asts.none(AstDecl decl, AstBoolExpr body)
static AstBoolExpr	Asts.none(AstSetExpr set)
static AstBoolExpr	Asts.not(AstBoolExpr expr)
static AstBoolExpr	Asts.notEqual(AstSetExpr left, AstSetExpr right)
static AstBoolExpr	Asts.notIn(AstSetExpr member, AstSetExpr set)
static AstBoolExpr	Asts.one(AstClafer clafer)
static AstBoolExpr	Asts.one(AstDecl[] decls, AstBoolExpr body)
static AstBoolExpr	Asts.one(AstDecl decl, AstBoolExpr body)
static AstBoolExpr	Asts.one(AstSetExpr set)
static AstBoolExpr	Asts.or(AstBoolExpr... operands)
static AstBoolExpr	Asts.quantify(AstQuantify.Quantifier quantifier, AstDecl[] decls, AstBoolExpr body)
static AstBoolExpr	Asts.quantify(AstQuantify.Quantifier quantifier, AstDecl decl, AstBoolExpr body)
AstBoolExpr[]	AstExprRewriter.rewrite(AstBoolExpr[] exprs, T t)
AstBoolExpr	AstExprRewriter.rewrite(AstBoolExpr expr, T t)
static AstBoolExpr	Asts.some(AstClafer clafer)
static AstBoolExpr	Asts.some(AstDecl[] decls, AstBoolExpr body)
static AstBoolExpr	Asts.some(AstDecl decl, AstBoolExpr body)
static AstBoolExpr	Asts.some(AstSetExpr set)
static AstBoolExpr	Asts.test(AstSetExpr left, AstSetTest.Op op, AstSetExpr right)
static AstBoolExpr	Asts.xor(AstBoolExpr... operands)

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

Modifier and Type	Method and Description
AstConstraint	AstPrimClafer.addConstraint(AstBoolExpr constraint) Add a new constraint under this Clafer.
AstConstraint	AstClafer.addConstraint(AstBoolExpr expr) Add a new constraint under this Clafer.
static AstBoolExpr	Asts.all(AstDecl[] decls, AstBoolExpr body)
static AstBoolExpr	Asts.all(AstDecl decl, AstBoolExpr body)
static AstBoolExpr	Asts.and(AstBoolExpr... operands)
static AstBoolExpr	Asts.arithm(AstBoolArithm.Op op, AstBoolExpr... operands)
static AstBoolExpr	Asts.ifOnlyIf(AstBoolExpr... operands)
static AstBoolExpr	Asts.ifThenElse(AstBoolExpr antecedent, AstBoolExpr consequent, AstBoolExpr alternative)
static AstSetExpr	Asts.ifThenElse(AstBoolExpr antecedent, AstSetExpr consequent, AstSetExpr alternative)
static AstBoolExpr	Asts.implies(AstBoolExpr... operands)
static AstBoolExpr	Asts.lone(AstDecl[] decls, AstBoolExpr body)
static AstBoolExpr	Asts.lone(AstDecl decl, AstBoolExpr body)
static AstBoolExpr	Asts.none(AstDecl[] decls, AstBoolExpr body)
static AstBoolExpr	Asts.none(AstDecl decl, AstBoolExpr body)
static AstBoolExpr	Asts.not(AstBoolExpr expr)
static AstBoolExpr	Asts.one(AstDecl[] decls, AstBoolExpr body)
static AstBoolExpr	Asts.one(AstDecl decl, AstBoolExpr body)
static AstBoolExpr	Asts.or(AstBoolExpr... operands)
static AstBoolExpr	Asts.quantify(AstQuantify.Quantifier quantifier, AstDecl[] decls, AstBoolExpr body)
static AstBoolExpr	Asts.quantify(AstQuantify.Quantifier quantifier, AstDecl decl, AstBoolExpr body)
AstBoolExpr[]	AstExprRewriter.rewrite(AstBoolExpr[] exprs, T t)
AstBoolExpr	AstExprRewriter.rewrite(AstBoolExpr expr, T t)
static AstBoolExpr	Asts.some(AstDecl[] decls, AstBoolExpr body)
static AstBoolExpr	Asts.some(AstDecl decl, AstBoolExpr body)
static AstBoolExpr	Asts.xor(AstBoolExpr... operands)

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

Constructor and Description
AstConstraint(AstClafer context, AstBoolExpr expr)
AstConstraint(AstClafer context, AstBoolExpr expr, boolean soft)
AstQuantify(AstQuantify.Quantifier quantifier, AstDecl[] decls, AstBoolExpr body)

Uses of AstBoolExpr in org.clafer.ast.analysis

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

Modifier and Type	Method and Description
AstBoolExpr	Analysis.getExpr(AstConstraint constraint)

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

Modifier and Type	Method and Description
Map<AstConstraint,AstBoolExpr>	Analysis.getConstraintExprs()

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

Modifier and Type	Method and Description
Analysis	Analysis.setConstraintExprs(Map<AstConstraint,AstBoolExpr> constraintExprs)