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.
|
org.clafer.choco.constraint |
This package provides Clafer specific Choco constraints required for
efficient solving.
|
org.clafer.choco.constraint.propagator |
This package provides Clafer specific Choco propagators required for
efficient solving.
|
org.clafer.collection |
This package provides various data structures common throughout the project.
|
org.clafer.common |
This package provides various utility functions common throughout the
project.
|
org.clafer.compiler |
This package provides a compiler from AST to Choco including algorithms for
solving optimal instances and max unsat.
|
org.clafer.graph |
This package provides data structure and algorithms for directed graphs.
|
org.clafer.instance |
This package provides structure for working with instances.
|
org.clafer.ir |
This package provides the IR used as in intermediate language during
compilation.
|
org.clafer.ir.analysis |
This package provides various analysis and optimizations to perform on the
IR.
|
org.clafer.ir.compiler |
This package provides a compiler to translate IR to Choco.
|
org.clafer.javascript |
This package provides classes for building Clafer models and invoking the
solver via Javascript.
|
org.clafer.objective | |
org.clafer.scope |
This package provides classes for building and retrieving the scope.
|
Copyright © 2013. All Rights Reserved.