Cgl
0.60.3
|
Derived class to pick up probing info. More...
#include <CglTreeInfo.hpp>
Public Attributes | |
unsigned int | fixes |
Derived class to pick up probing info.
Definition at line 86 of file CglTreeInfo.hpp.
unsigned int CliqueEntry::fixes |
Definition at line 89 of file CglTreeInfo.hpp.