org.sat4j.minisat.core
Class Lbool

java.lang.Object
  extended by org.sat4j.minisat.core.Lbool

public class Lbool
extends java.lang.Object

That enumeration defines the possible truth value for a variable: satisfied, falsified or unknown/undefined.

Author:
leberre

Field Summary
static Lbool FALSE
           
static Lbool TRUE
           
static Lbool UNDEFINED
           
 
Method Summary
 Lbool not()
          boolean negation.
 java.lang.String toString()
          Textual representation for the truth value.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

FALSE

public static final Lbool FALSE

TRUE

public static final Lbool TRUE

UNDEFINED

public static final Lbool UNDEFINED
Method Detail

not

public Lbool not()
boolean negation.

Returns:
Boolean negation. The negation of UNDEFINED is UNDEFINED.

toString

public java.lang.String toString()
Textual representation for the truth value.

Overrides:
toString in class java.lang.Object
Returns:
"T","F" or "U"


Copyright © 2009 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.