Main Page
Classes
Files
Directories
Alphabetical List
Class List
Class Hierarchy
Class Members
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:
src/logic/
clausehelper.h
Generated on Sun Jun 7 11:55:26 2009 for Alchemy by
1.5.1