org.sat4j.specs
Class Lbool

java.lang.Object
  extended by org.sat4j.specs.Lbool

public final class Lbool
extends Object

That enumeration defines the possible truth value for a variable: satisfied, falsified or unknown/undefined. (that class moved from org.sat4j.minisat.core in earlier version of SAT4J).

Since:
2.1
Author:
leberre

Field Summary
static Lbool FALSE
           
static Lbool TRUE
           
static Lbool UNDEFINED
           
 
Method Summary
 Lbool not()
          boolean negation.
 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 String toString()
Textual representation for the truth value.

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


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