Uses of Class
org.clafer.compiler.ClaferOptions

Packages that use ClaferOptions

Package	Description
org.clafer.compiler	This package provides a compiler from AST to Choco including algorithms for solving optimal instances and max unsat.

Uses of ClaferOptions in org.clafer.compiler

Fields in org.clafer.compiler declared as ClaferOptions

Modifier and Type	Field and Description
static ClaferOptions	ClaferOptions.Basic
static ClaferOptions	ClaferOptions.Default
static ClaferOptions	ClaferOptions.Optimized Use the default options.

Methods in org.clafer.compiler that return ClaferOptions

Modifier and Type	Method and Description
ClaferOptions	ClaferOptions.basicOptimizations()
ClaferOptions	ClaferOptions.basicSymmetryBreaking()
ClaferOptions	ClaferOptions.fullOptimizations()
ClaferOptions	ClaferOptions.fullSymmetryBreaking()
ClaferOptions	ClaferOptions.preferLargerInstances()
ClaferOptions	ClaferOptions.preferSmallerInstances()

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

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