satsolver  0.17.2
Public Attributes | List of all members
ducbdata Struct Reference

Public Attributes

DUChanges * mps
 
struct mptree * mptree
 
int addsub
 
int hasdu
 
Id * dirmap
 
int nmap
 
Repodata * olddata
 

Detailed Description

Definition at line 1350 of file pool.c.

Member Data Documentation

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


The documentation for this struct was generated from the following file: