Package tuffy.infer.ds

Data structures used to represent MRFs.

See:
          Description

Class Summary
GAtom A ground atom.
GClause A ground clause.
KeyBlock A block of ground atoms.
 

Package tuffy.infer.ds Description

Data structures used to represent MRFs.