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

Public Attributes

int nfiles
 
Idids
 
char ** dirs
 
char ** names
 
Iddids
 
Map providedids
 
Map useddirs
 

Detailed Description

Definition at line 880 of file pool.c.

Member Data Documentation

int addfileprovides_cbdata::nfiles

Definition at line 881 of file pool.c.

Referenced by addfileprovides_cb(), and pool_addfileprovides_search().

Id* addfileprovides_cbdata::ids

Definition at line 882 of file pool.c.

Referenced by addfileprovides_cb(), and pool_addfileprovides_search().

char** addfileprovides_cbdata::dirs

Definition at line 883 of file pool.c.

Referenced by addfileprovides_cb(), and pool_addfileprovides_search().

char** addfileprovides_cbdata::names

Definition at line 884 of file pool.c.

Referenced by addfileprovides_cb(), and pool_addfileprovides_search().

Id* addfileprovides_cbdata::dids
Map addfileprovides_cbdata::providedids

Definition at line 888 of file pool.c.

Referenced by addfileprovides_cb(), and pool_addfileprovides_search().

Map addfileprovides_cbdata::useddirs

Definition at line 890 of file pool.c.

Referenced by addfileprovides_cb(), and pool_addfileprovides_search().


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