|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |
java.lang.Objectjava.lang.Enum<SolveOptions.SatSolver>
forge.solve.SolveOptions.SatSolver
public static enum SolveOptions.SatSolver
Enumeration of possible SAT Solvers.
Enum Constant Summary | |
---|---|
MINISAT
Platform-specific, cannot prove. |
|
MINISAT_PROVER
Platform-specific, prover. |
|
SAT4J
Pure Java, cannot prove. |
|
SAT4J_LIGHT
Pure Java, cannot prove. |
|
ZCHAFF
Platform-specific, cannot prove. |
|
ZCHAFF_MINCOST
Platform-specific, cannot prove. |
Method Summary | |
---|---|
boolean |
prover()
Returns true if solver can provide a proof. |
static SolveOptions.SatSolver |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. |
static SolveOptions.SatSolver[] |
values()
Returns an array containing the constants of this enum type, in the order they're declared. |
Methods inherited from class java.lang.Enum |
---|
clone, compareTo, equals, getDeclaringClass, hashCode, name, ordinal, toString, valueOf |
Methods inherited from class java.lang.Object |
---|
finalize, getClass, notify, notifyAll, wait, wait, wait |
Enum Constant Detail |
---|
public static final SolveOptions.SatSolver SAT4J
public static final SolveOptions.SatSolver SAT4J_LIGHT
public static final SolveOptions.SatSolver MINISAT
public static final SolveOptions.SatSolver MINISAT_PROVER
public static final SolveOptions.SatSolver ZCHAFF
public static final SolveOptions.SatSolver ZCHAFF_MINCOST
Method Detail |
---|
public static final SolveOptions.SatSolver[] values()
for(SolveOptions.SatSolver c : SolveOptions.SatSolver.values()) System.out.println(c);
public static SolveOptions.SatSolver valueOf(java.lang.String name)
name
- the name of the enum constant to be returned.
java.lang.IllegalArgumentException
- if this enum type has no constant
with the specified namepublic boolean prover()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |