satsolver
0.17.2
|
Public Attributes | |
int | nfiles |
Id * | ids |
char ** | dirs |
char ** | names |
Id * | dids |
Map | providedids |
Map | useddirs |
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 |
Definition at line 886 of file pool.c.
Referenced by addfileprovides_cb(), pool_addfileprovides_ids(), and pool_addfileprovides_search().
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().