|
| WarmStart () |
| Default constructor.
|
|
virtual | ~WarmStart () |
| Destroy.
|
|
virtual void | decrUseCnt () |
|
virtual int | getUseCnt () |
|
virtual bool | hasInfo ()=0 |
|
virtual void | incrUseCnt () |
|
virtual void | write (std::ostream &out) const =0 |
| Write to an output stream. More...
|
|
◆ hasInfo()
virtual bool Minotaur::WarmStart::hasInfo |
( |
| ) |
|
|
pure virtual |
◆ write()
virtual void Minotaur::WarmStart::write |
( |
std::ostream & |
out | ) |
const |
|
pure virtual |
◆ cnt_
int Minotaur::WarmStart::cnt_ |
|
protected |
Warm start information can be stored at different nodes of the tree – making it difficult to delete when it is no longer in use. This variable keeps track of number of places (nodes for example) it is in use. When it is zero, it is safe to delete it.
The documentation for this class was generated from the following file: