|
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().
1.7.3