Declare the ParNodeIncRelaxer class. It creates relaxation by only incrementing changes made in ancestor nodes. All modifications to be applied while creating the relaxation are fist translated appropriately. More...
Include dependency graph for ParNodeIncRelaxer.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Classes | |
| class | Minotaur::ParNodeIncRelaxer |
Namespaces | |
| namespace | Minotaur |
Detailed Description
Declare the ParNodeIncRelaxer class. It creates relaxation by only incrementing changes made in ancestor nodes. All modifications to be applied while creating the relaxation are fist translated appropriately.