searchfiles Struct Reference

List of all members.

Public Attributes

Idids
char ** dirs
char ** names
int nfiles
Map seen

Detailed Description

Definition at line 782 of file pool.c.


Member Data Documentation

Definition at line 787 of file pool.c.

Referenced by pool_addfileprovides_dep(), and pool_addfileprovides_ids().


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