Only useful type of disaggregation is most normal For now just done for 0-1 variables Can be used for building cliques. More...
Public Attributes | |
unsigned int | zeroOne:1 |
unsigned int | whenAtUB:1 |
unsigned int | affectedToUB:1 |
unsigned int | affected:29 |
Only useful type of disaggregation is most normal For now just done for 0-1 variables Can be used for building cliques.
Definition at line 380 of file CglProbing.hpp.
unsigned int CglProbing::disaggregationAction::zeroOne |
Definition at line 381 of file CglProbing.hpp.
unsigned int CglProbing::disaggregationAction::whenAtUB |
Definition at line 382 of file CglProbing.hpp.
unsigned int CglProbing::disaggregationAction::affectedToUB |
Definition at line 383 of file CglProbing.hpp.
unsigned int CglProbing::disaggregationAction::affected |
Definition at line 384 of file CglProbing.hpp.