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