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

#include <dirpool.h>

Public Attributes

Iddirs
 
int ndirs
 
Iddirtraverse
 

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: