|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |
java.lang.Objectjava.lang.Enum<Solution.Outcome>
kodkod.engine.Solution.Outcome
public static enum Solution.Outcome
Enumerates the possible outcomes of an attempt to find a model for a FOL formula.
Enum Constant Summary | |
---|---|
SATISFIABLE
The formula is satisfiable with respect to the specified bounds. |
|
TRIVIALLY_SATISFIABLE
The formula is trivially satisfiable with respect to the specified bounds: a series of simple transformations reduces the formula to the constant TRUE. |
|
TRIVIALLY_UNSATISFIABLE
The formula is trivially unsatisfiable with respect to the specified bounds: a series of simple transformations reduces the formula to the constant FALSE. |
|
UNSATISFIABLE
The formula is unsatisfiable with respect to the specified bounds. |
Method Summary | |
---|---|
static Solution.Outcome |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. |
static Solution.Outcome[] |
values()
Returns an array containing the constants of this enum type, in the order they're declared. |
Methods inherited from class java.lang.Enum |
---|
compareTo, equals, getDeclaringClass, hashCode, name, ordinal, toString, valueOf |
Methods inherited from class java.lang.Object |
---|
getClass, notify, notifyAll, wait, wait, wait |
Enum Constant Detail |
---|
public static final Solution.Outcome SATISFIABLE
public static final Solution.Outcome UNSATISFIABLE
public static final Solution.Outcome TRIVIALLY_SATISFIABLE
public static final Solution.Outcome TRIVIALLY_UNSATISFIABLE
Method Detail |
---|
public static final Solution.Outcome[] values()
for(Solution.Outcome c : Solution.Outcome.values()) System.out.println(c);
public static Solution.Outcome 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 name
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |