satsolver
0.17.2
|
Public Attributes | |
Id * | ids |
char ** | dirs |
char ** | names |
int | nfiles |
Map | seen |
Id* searchfiles::ids |
Definition at line 798 of file pool.c.
Referenced by pool_addfileprovides_dep(), pool_addfileprovides_ids(), and pool_addfileprovides_search().
char** searchfiles::dirs |
Definition at line 799 of file pool.c.
Referenced by pool_addfileprovides_dep(), pool_addfileprovides_ids(), and pool_addfileprovides_search().
char** searchfiles::names |
Definition at line 800 of file pool.c.
Referenced by pool_addfileprovides_dep(), pool_addfileprovides_ids(), and pool_addfileprovides_search().
int searchfiles::nfiles |
Definition at line 801 of file pool.c.
Referenced by pool_addfileprovides_dep(), pool_addfileprovides_ids(), and pool_addfileprovides_search().
Map searchfiles::seen |
Definition at line 802 of file pool.c.
Referenced by pool_addfileprovides_dep(), and pool_addfileprovides_ids().