Public Member Functions | |
NodeInfo () | |
NodeInfo (const NodeInfo &cni) | |
Public Attributes | |
int | inactive_time |
The time (as number or (R[U]) solves), the cut was inactive for this node. |
Definition at line 154 of file cuts.h.
Cut< CutType >::NodeInfo::NodeInfo | ( | ) | [inline] |
int Cut< CutType >::NodeInfo::inactive_time |