Uses of Package
org.clafer.scope

Packages that use org.clafer.scope

Package	Description
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.compiler	This package provides a compiler from AST to Choco including algorithms for solving optimal instances and max unsat.
org.clafer.javascript	This package provides classes for building Clafer models and invoking the solver via Javascript.
org.clafer.scope	This package provides classes for building and retrieving the scope.

Classes in org.clafer.scope used by org.clafer.ast.analysis

Class and Description
Scopable
Scope An immutable mapping from Clafers to their scope.

Classes in org.clafer.scope used by org.clafer.ast.compiler

Class and Description
Scope An immutable mapping from Clafers to their scope.

Classes in org.clafer.scope used by org.clafer.compiler

Class and Description
Scopable
Scope An immutable mapping from Clafers to their scope.
ScopeBuilder Builder pattern for scopes.

Classes in org.clafer.scope used by org.clafer.javascript

Class and Description
Scope An immutable mapping from Clafers to their scope.

Classes in org.clafer.scope used by org.clafer.scope

Class and Description
Scopable
Scope An immutable mapping from Clafers to their scope.
ScopeBuilder Builder pattern for scopes.