Public Member Functions | |
boolean | ensureAllInts () default false |
boolean | solveAll () default false |
Package Functions | |
int | bitwidth () default 4 |
Specification specific options.
Definition at line 21 of file Options.java.
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().