_Dirpool Struct Reference

#include <dirpool.h>

List of all members.

Public Attributes

Id * dirs
int ndirs
Id * dirtraverse

Detailed Description

Definition at line 14 of file dirpool.h.


Member Data Documentation


The documentation for this struct was generated from the following file:
Generated on Mon Dec 12 11:44:13 2011 for satsolver by  doxygen 1.6.3