org.sat4j.minisat.core
Enum Lbool
java.lang.Object
java.lang.Enum<Lbool>
org.sat4j.minisat.core.Lbool
- All Implemented Interfaces:
- java.io.Serializable, java.lang.Comparable<Lbool>
public enum Lbool
- extends java.lang.Enum<Lbool>
- Author:
- leberre Cette classe repr�sente les valeurs bool�ennes qui
peuvent �tre associ�es aux litt�raux.
Method Summary |
Lbool |
not()
N�gation bool�enne |
java.lang.String |
toString()
Une valeur bool�enne est repr�sent�e par T,F ou U. |
static Lbool |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. |
static Lbool[] |
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, valueOf |
Methods inherited from class java.lang.Object |
getClass, notify, notifyAll, wait, wait, wait |
FALSE
public static final Lbool FALSE
TRUE
public static final Lbool TRUE
UNDEFINED
public static final Lbool UNDEFINED
values
public static final Lbool[] values()
- Returns an array containing the constants of this enum type, in
the order they're declared. This method may be used to iterate
over the constants as follows:
for(Lbool c : Lbool.values())
System.out.println(c);
- Returns:
- an array containing the constants of this enum type, in
the order they're declared
valueOf
public static Lbool valueOf(java.lang.String name)
- Returns the enum constant of this type with the specified name.
The string must match exactly an identifier used to declare an
enum constant in this type. (Extraneous whitespace characters are
not permitted.)
- Parameters:
name
- the name of the enum constant to be returned.
- Returns:
- the enum constant with the specified name
- Throws:
java.lang.IllegalArgumentException
- if this enum type has no constant
with the specified name
not
public Lbool not()
- N�gation bool�enne
- Returns:
- la n�gation de la valeur bool�nne. La n�gation de la valeur
UNDEFINED est UNDEFINED.
toString
public java.lang.String toString()
- Une valeur bool�enne est repr�sent�e par T,F ou U.
- Overrides:
toString
in class java.lang.Enum<Lbool>
- Returns:
- l'une des trois lettres