_Dirpool Struct Reference

#include <dirpool.h>

List of all members.

Public Attributes

Iddirs
int ndirs
Iddirtraverse

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