satsolver  0.17.2
Public Attributes | List of all members
_Dirpool Struct Reference

#include <dirpool.h>

Public Attributes

Id * dirs
 
int ndirs
 
Id * dirtraverse
 

Detailed Description

Definition at line 14 of file dirpool.h.

Member Data Documentation

Id* _Dirpool::dirs
int _Dirpool::ndirs
Id* _Dirpool::dirtraverse

The documentation for this struct was generated from the following file: