org.clafer.compiler

Class ClaferCompiler

java.lang.Object

org.clafer.compiler.ClaferCompiler

public class ClaferCompiler
extends Object

Compiles from AST -> Choco

Author:

jimmy

Method Summary

Methods

Modifier and Type	Method and Description
static ClaferSolver	compile(AstModel in, Scopable scope)
static ClaferSolver	compile(AstModel in, Scopable scope, ClaferOptions options)
static ClaferOptimizer	compile(AstModel in, Scopable scope, Objective objective)
static ClaferOptimizer	compile(AstModel in, Scopable scope, Objective objective, ClaferOptions options)
static ClaferSolver	compilePartial(AstModel in, Scope scope, AstConcreteClafer... concretize)
static ClaferSolver	compilePartial(AstModel in, ScopeBuilder scope, AstConcreteClafer... concretize)
static ClaferUnsat	compileUnsat(AstModel in, Scopable scope)
static ClaferUnsat	compileUnsat(AstModel in, Scopable scope, ClaferOptions options)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

compile

public static ClaferSolver compile(AstModel in,
                   Scopable scope)

compile

public static ClaferSolver compile(AstModel in,
                   Scopable scope,
                   ClaferOptions options)

compile

public static ClaferOptimizer compile(AstModel in,
                      Scopable scope,
                      Objective objective)

compile

public static ClaferOptimizer compile(AstModel in,
                      Scopable scope,
                      Objective objective,
                      ClaferOptions options)

compileUnsat

public static ClaferUnsat compileUnsat(AstModel in,
                       Scopable scope)

compileUnsat

public static ClaferUnsat compileUnsat(AstModel in,
                       Scopable scope,
                       ClaferOptions options)

compilePartial

public static ClaferSolver compilePartial(AstModel in,
                          ScopeBuilder scope,
                          AstConcreteClafer... concretize)

compilePartial

public static ClaferSolver compilePartial(AstModel in,
                          Scope scope,
                          AstConcreteClafer... concretize)