Uses of Interface
org.clafer.ast.AstExprVisitor

Packages that use AstExprVisitor

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 AstExprVisitor in org.clafer.ast

Classes in org.clafer.ast that implement AstExprVisitor

Modifier and Type	Class and Description
class	AstExprRewriter<T>

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

Modifier and Type	Method and Description
<A,B> B	AstBoolArithm.accept(AstExprVisitor<A,B> visitor, A a)
<A,B> B	AstIntersection.accept(AstExprVisitor<A,B> visitor, A a)
<A,B> B	AstCompare.accept(AstExprVisitor<A,B> visitor, A a)
<A,B> B	AstUpcast.accept(AstExprVisitor<A,B> visitor, A a)
<A,B> B	AstArithm.accept(AstExprVisitor<A,B> visitor, A a)
<A,B> B	AstTernary.accept(AstExprVisitor<A,B> visitor, A a)
<A,B> B	AstGlobal.accept(AstExprVisitor<A,B> visitor, A a) Dynamic dispatch on the visitor.
<A,B> B	AstDowncast.accept(AstExprVisitor<A,B> visitor, A a)
<A,B> B	AstSetTest.accept(AstExprVisitor<A,B> visitor, A a)
<A,B> B	AstExpr.accept(AstExprVisitor<A,B> visitor, A a) Dynamic dispatch on the visitor.
<A,B> B	AstSum.accept(AstExprVisitor<A,B> visitor, A a)
<A,B> B	AstQuantify.accept(AstExprVisitor<A,B> visitor, A a)
<A,B> B	AstJoinRef.accept(AstExprVisitor<A,B> visitor, A a)
<A,B> B	AstMinus.accept(AstExprVisitor<A,B> visitor, A a)
<A,B> B	AstLocal.accept(AstExprVisitor<A,B> visitor, A a) Dynamic dispatch on the visitor.
<A,B> B	AstThis.accept(AstExprVisitor<A,B> visitor, A a)
<A,B> B	AstMembership.accept(AstExprVisitor<A,B> visitor, A a)
<A,B> B	AstIfThenElse.accept(AstExprVisitor<A,B> visitor, A a)
<A,B> B	AstCard.accept(AstExprVisitor<A,B> visitor, A a)
<A,B> B	AstDifference.accept(AstExprVisitor<A,B> visitor, A a)
<A,B> B	AstUnion.accept(AstExprVisitor<A,B> visitor, A a)
<A,B> B	AstNot.accept(AstExprVisitor<A,B> visitor, A a) Dynamic dispatch on the visitor.
<A,B> B	AstJoinParent.accept(AstExprVisitor<A,B> visitor, A a)
<A,B> B	AstJoin.accept(AstExprVisitor<A,B> visitor, A a)
<A,B> B	AstConstant.accept(AstExprVisitor<A,B> visitor, A a)

Uses of AstExprVisitor in org.clafer.ast.analysis

Classes in org.clafer.ast.analysis that implement AstExprVisitor

Modifier and Type	Class and Description
class	OptimizerAnalyzer Optimizes the expressions inside the constraints.