| 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.