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

gatom2key

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

keyConstraints

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

KeyBlock

public KeyBlock()
Method Detail

getBlockMates

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

hasKey

public boolean hasKey(GAtom gatom)

pushGAtom

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