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.
|
Modifier and Type | Method and Description |
---|---|
B |
AstExprVisitor.visit(AstJoin ast,
A a) |
AstExpr |
AstExprRewriter.visit(AstJoin ast,
T a) |
Modifier and Type | Method and Description |
---|---|
AstExpr |
OptimizerAnalyzer.visit(AstJoin ast,
Analysis a) |
Copyright © 2013. All Rights Reserved.