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 79 of file CglTreeInfo.hpp.
unsigned int CliqueEntry::fixes |
Definition at line 82 of file CglTreeInfo.hpp.