satsolver 0.16.3
|
Public Attributes | |
DUChanges * | mps |
struct mptree * | mptree |
int | addsub |
int | hasdu |
Id * | dirmap |
int | nmap |
Repodata * | olddata |
Definition at line 1264 of file pool.c.
Referenced by pool_calc_duchanges(), and solver_fill_DU_cb().
struct mptree* ducbdata::mptree |
Definition at line 1265 of file pool.c.
Referenced by pool_calc_duchanges(), and solver_fill_DU_cb().
int ducbdata::addsub |
Definition at line 1266 of file pool.c.
Referenced by pool_calc_duchanges(), and solver_fill_DU_cb().
int ducbdata::hasdu |
Definition at line 1267 of file pool.c.
Referenced by pool_calc_duchanges(), and solver_fill_DU_cb().
Definition at line 1269 of file pool.c.
Referenced by pool_calc_duchanges(), and solver_fill_DU_cb().
int ducbdata::nmap |
Definition at line 1270 of file pool.c.
Referenced by pool_calc_duchanges(), and solver_fill_DU_cb().
Definition at line 1271 of file pool.c.
Referenced by pool_calc_duchanges(), and solver_fill_DU_cb().