_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 15 17:56:24 2014 for satsolver by  doxygen 1.5.6