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.
|
Class and Description |
---|
AnalysisException |
Class and Description |
---|
Analysis |
AnalysisException |
Analyzer |
Format
There is two ways to represent a set.
|
Offsets |
PartialSolution |
Type |
Class and Description |
---|
Analysis |
Analyzer |
Copyright © 2013. All Rights Reserved.