tuffy.infer.ds
Class KeyBlock

java.lang.Object
  extended by tuffy.infer.ds.KeyBlock

public class KeyBlock
extends java.lang.Object

A block of ground atoms. Exactly one atom in a block can be true.


Field Summary
 java.util.HashMap<GAtom,java.lang.Integer> gatom2key
           
 java.util.HashMap<java.lang.Integer,java.util.ArrayList<GAtom>> keyConstraints
           
 
Constructor Summary
KeyBlock()
           
 
Method Summary
 java.util.ArrayList<GAtom> getBlockMates(GAtom gatom)
           
 boolean hasKey(GAtom gatom)
           
 void pushGAtom(java.lang.Integer key, GAtom gatom)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

keyConstraints

public java.util.HashMap<java.lang.Integer,java.util.ArrayList<GAtom>> keyConstraints

gatom2key

public java.util.HashMap<GAtom,java.lang.Integer> gatom2key
Constructor Detail

KeyBlock

public KeyBlock()
Method Detail

pushGAtom

public void pushGAtom(java.lang.Integer key,
                      GAtom gatom)

hasKey

public boolean hasKey(GAtom gatom)

getBlockMates

public java.util.ArrayList<GAtom> getBlockMates(GAtom gatom)