#include <CglTreeInfo.hpp>
Public Attributes | |
unsigned int | fixes |
Definition at line 79 of file CglTreeInfo.hpp.
unsigned int cliqueEntry::fixes |
Definition at line 82 of file CglTreeInfo.hpp.
Referenced by oneFixesInCliqueEntry(), sequenceInCliqueEntry(), setOneFixesInCliqueEntry(), and setSequenceInCliqueEntry().