LitIdxVarIdsGndings Struct Reference

List of all members.

Public Attributes

unsigned int litIdx
Array< int > varIds
ArraysAccessor< int > varGndings
Array< Predicate * > subseqGndLits
bool litUnseen
Array< Predicate * > bannedPreds

Detailed Description

Definition at line 87 of file clausehelper.h.


The documentation for this struct was generated from the following file:
Generated on Sun Jun 7 11:55:26 2009 for Alchemy by  doxygen 1.5.1