tuffy.infer.ds
Class KeyBlock
java.lang.Object
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.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
keyConstraints
public java.util.HashMap<java.lang.Integer,java.util.ArrayList<GAtom>> keyConstraints
gatom2key
public java.util.HashMap<GAtom,java.lang.Integer> gatom2key
KeyBlock
public KeyBlock()
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)