satsolver
0.17.2
|
Public Attributes | |
DUChanges * | mps |
struct mptree * | mptree |
int | addsub |
int | hasdu |
Id * | dirmap |
int | nmap |
Repodata * | olddata |
DUChanges* ducbdata::mps |
Definition at line 1351 of file pool.c.
Referenced by pool_calc_duchanges(), and solver_fill_DU_cb().
struct mptree* ducbdata::mptree |
Definition at line 1352 of file pool.c.
Referenced by pool_calc_duchanges(), and solver_fill_DU_cb().
int ducbdata::addsub |
Definition at line 1353 of file pool.c.
Referenced by pool_calc_duchanges(), and solver_fill_DU_cb().
int ducbdata::hasdu |
Definition at line 1354 of file pool.c.
Referenced by pool_calc_duchanges(), and solver_fill_DU_cb().
Id* ducbdata::dirmap |
Definition at line 1356 of file pool.c.
Referenced by pool_calc_duchanges(), and solver_fill_DU_cb().
int ducbdata::nmap |
Definition at line 1357 of file pool.c.
Referenced by pool_calc_duchanges(), and solver_fill_DU_cb().
Repodata* ducbdata::olddata |
Definition at line 1358 of file pool.c.
Referenced by pool_calc_duchanges(), and solver_fill_DU_cb().