searchfiles Struct Reference

List of all members.

Public Attributes

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


Detailed Description

Definition at line 797 of file pool.c.


Member Data Documentation

Definition at line 802 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 15 17:56:24 2014 for satsolver by  doxygen 1.5.6