Uses of Interface
org.clafer.scope.Scopable

Packages that use Scopable

Package	Description
org.clafer.ast.analysis	This package provides various analysis and optimizations to perform on the AST.
org.clafer.compiler	This package provides a compiler from AST to Choco including algorithms for solving optimal instances and max unsat.
org.clafer.scope	This package provides classes for building and retrieving the scope.

Uses of Scopable in org.clafer.ast.analysis

Methods in org.clafer.ast.analysis with parameters of type Scopable

Modifier and Type	Method and Description
static Analysis	Analysis.analyze(AstModel model, Scopable scope, Analyzer... analyzers)
static Analysis	Analysis.analyze(AstModel model, Scopable scope, List<Objective> objectives, Analyzer... analyzers)

Uses of Scopable in org.clafer.compiler

Methods in org.clafer.compiler with parameters of type Scopable

Modifier and Type	Method and Description
static ClaferSolver	ClaferCompiler.compile(AstModel in, Scopable scope)
static ClaferSolver	ClaferCompiler.compile(AstModel in, Scopable scope, ClaferOptions options)
static ClaferOptimizer	ClaferCompiler.compile(AstModel in, Scopable scope, Objective objective)
static ClaferOptimizer	ClaferCompiler.compile(AstModel in, Scopable scope, Objective objective, ClaferOptions options)
static ClaferUnsat	ClaferCompiler.compileUnsat(AstModel in, Scopable scope)
static ClaferUnsat	ClaferCompiler.compileUnsat(AstModel in, Scopable scope, ClaferOptions options)

Uses of Scopable in org.clafer.scope

Classes in org.clafer.scope that implement Scopable

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