org.clafer.compiler

Class ClaferOptions

java.lang.Object

org.clafer.compiler.ClaferOptions

public class ClaferOptions
extends Object

Defines the options for the Clafer compiler. Start with the default options and configure it to your needs. For example, ClaferOptions.Default.preferSmallerInstances() will prefer smaller instances and use default settings for all the other option.

Author:

jimmy

Field Summary

Fields

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

Method Summary

Methods

Modifier and Type	Method and Description
ClaferOptions	basicOptimizations()
ClaferOptions	basicSymmetryBreaking()
ClaferOptions	fullOptimizations()
ClaferOptions	fullSymmetryBreaking()
boolean	isBasicOptimizations()
boolean	isBasicSymmetryBreaking()
boolean	isFullOptimizations()
boolean	isFullSymmetryBreaking()
boolean	isPreferLargerInstances()
boolean	isPreferSmallerInstances()
ClaferOptions	preferLargerInstances()
ClaferOptions	preferSmallerInstances()
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

Optimized

public static ClaferOptions Optimized

Use the default options.

Basic

public static ClaferOptions Basic

Default

public static ClaferOptions Default

Method Detail

isPreferSmallerInstances

public boolean isPreferSmallerInstances()

isPreferLargerInstances

public boolean isPreferLargerInstances()

preferSmallerInstances

public ClaferOptions preferSmallerInstances()

preferLargerInstances

public ClaferOptions preferLargerInstances()

isBasicSymmetryBreaking

public boolean isBasicSymmetryBreaking()

isFullSymmetryBreaking

public boolean isFullSymmetryBreaking()

basicSymmetryBreaking

public ClaferOptions basicSymmetryBreaking()

fullSymmetryBreaking

public ClaferOptions fullSymmetryBreaking()

isBasicOptimizations

public boolean isBasicOptimizations()

isFullOptimizations

public boolean isFullOptimizations()

basicOptimizations

public ClaferOptions basicOptimizations()

fullOptimizations

public ClaferOptions fullOptimizations()

toString

public String toString()

Overrides:

toString in class Object