edu.mit.csail.sdg.squander.annotations.Options Interface Reference
[Annotations]

List of all members.

Public Member Functions
boolean	ensureAllInts () default false
boolean	solveAll () default false
Package Functions
int	bitwidth () default 4

---

Detailed Description

Specification specific options.

Author:

Aleksandar Milicevic

Definition at line 21 of file Options.java.

---

Member Function Documentation

int edu.mit.csail.sdg.squander.annotations.Options.bitwidth

(

)

[package]

min integer bitwidth to be used

boolean edu.mit.csail.sdg.squander.annotations.Options.ensureAllInts

(

)

whether an atom should be created for all ints (within the bitwidth) when translating to Kodkod

Referenced by edu.mit.csail.sdg.squander.engine.ForgeConverter.finish().

boolean edu.mit.csail.sdg.squander.annotations.Options.solveAll

(

)

whether to search for all solutions (one at a time, of course)

Referenced by edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.exeSpec().

---

The documentation for this interface was generated from the following file:

• src/edu/mit/csail/sdg/squander/annotations/Options.java