vitro.util
Class BoolTable

java.lang.Object
  extended by vitro.util.BoolTable

public class BoolTable
extends Object


Constructor Summary
BoolTable()
           
 
Method Summary
 void assign(Map<? extends Object,Boolean> clause)
           
 void assign(Object literal, boolean isTrue)
           
 boolean conflicts(Map<Object,Boolean> clause)
           
 boolean conflicts(Object literal, boolean isTrue)
           
 boolean evaluate(Object literal)
           
 boolean known(Object literal)
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

BoolTable

public BoolTable()
Method Detail

assign

public void assign(Object literal,
                   boolean isTrue)

conflicts

public boolean conflicts(Object literal,
                         boolean isTrue)

assign

public void assign(Map<? extends Object,Boolean> clause)

conflicts

public boolean conflicts(Map<Object,Boolean> clause)

known

public boolean known(Object literal)

evaluate

public boolean evaluate(Object literal)

toString

public String toString()
Overrides:
toString in class Object