|
Minotaur 0.4.1
Docs for developers
|
Declare the NodeIncRelaxer class. It creates relaxation by only incrementing changes made in ancestor nodes. More...


Go to the source code of this file.
Classes | |
| class | Minotaur::NodeIncRelaxer |
Namespaces | |
| namespace | Minotaur |
Typedefs | |
| typedef NodeIncRelaxer * | Minotaur::NodeIncRelaxerPtr |
Declare the NodeIncRelaxer class. It creates relaxation by only incrementing changes made in ancestor nodes.