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.
|
Modifier and Type | Method and Description |
---|---|
Scope |
Analysis.getScope() |
Modifier and Type | Method and Description |
---|---|
Analysis |
Analysis.setScope(Scope scope) |
Modifier and Type | Method and Description |
---|---|
static AstSolutionMap |
AstCompiler.compile(AstModel in,
Scope scope,
IrModule out,
Analyzer[] analyzers,
boolean fullSymmetryBreaking) |
static AstSolutionMap |
AstCompiler.compile(AstModel in,
Scope scope,
IrModule out,
boolean fullSymmetryBreaking) |
static AstSolutionMap |
AstCompiler.compile(AstModel in,
Scope scope,
Objective objective,
IrModule out,
Analyzer[] analyzers,
boolean fullSymmetryBreaking) |
static AstSolutionMap |
AstCompiler.compile(AstModel in,
Scope scope,
Objective objective,
IrModule out,
boolean fullSymmetryBreaking) |
Modifier and Type | Method and Description |
---|---|
static ClaferSolver |
ClaferCompiler.compilePartial(AstModel in,
Scope scope,
AstConcreteClafer... concretize) |
Modifier and Type | Method and Description |
---|---|
Scope |
JavascriptContext.getScope(org.mozilla.javascript.Scriptable engine) |
Modifier and Type | Method and Description |
---|---|
static Triple<AstModel,Scope,Objective[]> |
Javascript.readModel(File in) |
static Triple<AstModel,Scope,Objective[]> |
Javascript.readModel(File in,
org.mozilla.javascript.Scriptable engine) |
static Triple<AstModel,Scope,Objective[]> |
Javascript.readModel(Reader in) |
static Triple<AstModel,Scope,Objective[]> |
Javascript.readModel(String in) |
static Triple<AstModel,Scope,Objective[]> |
Javascript.readModel(String name,
File in,
org.mozilla.javascript.Scriptable engine) |
static Triple<AstModel,Scope,Objective[]> |
Javascript.readModel(String name,
Reader in,
org.mozilla.javascript.Scriptable engine) |
static Triple<AstModel,Scope,Objective[]> |
Javascript.readModel(String name,
String in,
org.mozilla.javascript.Scriptable engine) |
Modifier and Type | Method and Description |
---|---|
Scope |
ScopeBuilder.toScope()
Finalizes all the decisions made in the builder.
|
Scope |
Scope.toScope()
Convert to scope.
|
Scope |
Scopable.toScope()
Convert to scope.
|
Copyright © 2013. All Rights Reserved.