aima.logic.propositional.algorithms
Class DPLL.SymbolValuePair

java.lang.Object
  aima.logic.propositional.algorithms.DPLL.SymbolValuePair

Enclosing class:

DPLL

public class DPLL.SymbolValuePair
extends java.lang.Object

Field Summary

Symbol	symbol
java.lang.Boolean	value

Constructor Summary

DPLL.SymbolValuePair()

DPLL.SymbolValuePair(Symbol symbol, boolean bool)

Method Summary

boolean	notNull()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

symbol

public Symbol symbol

value

public java.lang.Boolean value

Constructor Detail

DPLL.SymbolValuePair

public DPLL.SymbolValuePair()

DPLL.SymbolValuePair

public DPLL.SymbolValuePair(Symbol symbol,
                            boolean bool)

Method Detail

notNull

public boolean notNull()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object