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 |
1.4.7