Package | Description |
---|---|
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.
|
Modifier and Type | Method and Description |
---|---|
static ClaferSolver |
ClaferCompiler.compilePartial(AstModel in,
ScopeBuilder scope,
AstConcreteClafer... concretize) |
Modifier and Type | Method and Description |
---|---|
ScopeBuilder |
ScopeBuilder.adjustDefaultScope(int adjust)
Adjust the scope of unspecified Clafers.
|
ScopeBuilder |
ScopeBuilder.adjustIntHigh(int adjust)
Adjust the highest integer used for solving.
|
ScopeBuilder |
ScopeBuilder.adjustIntLow(int adjust)
Adjust the lowest integer used for solving.
|
ScopeBuilder |
ScopeBuilder.adjustScope(AstClafer clafer,
int adjust)
Adjust the scope of the Clafer.
|
static ScopeBuilder |
Scope.builder()
Construct the scope using the builder pattern.
|
ScopeBuilder |
ScopeBuilder.defaultScope(int defaultScope)
Set the scope for unspecified Clafers.
|
static ScopeBuilder |
Scope.defaultScope(int defaultScope)
Equivalent to
builder().defaultScope(defaultScope) . |
ScopeBuilder |
ScopeBuilder.intHigh(int intHigh)
Set the highest (inclusive) integer used for solving.
|
static ScopeBuilder |
Scope.intHigh(int intHigh)
Equivalent to
builder().intHigh(intHigh) . |
ScopeBuilder |
ScopeBuilder.intLow(int intLow)
Set the lowest (inclusive) integer used for solving.
|
static ScopeBuilder |
Scope.intLow(int intLow)
Equivalent to
builder().intLow(intLow) . |
ScopeBuilder |
ScopeBuilder.setScope(AstClafer clafer,
int scope)
Set the scope of the Clafer.
|
static ScopeBuilder |
Scope.setScope(AstClafer clafer,
int scope)
Equivalent to
builder().setScope(clafer, scope) . |
ScopeBuilder |
Scope.toBuilder() |
Copyright © 2013. All Rights Reserved.