org.sat4j.minisat.core
Class Lbool

java.lang.Object
  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"