Declare the class VarBoundMod. It is used to save modifications in a bound of a variable. Also declare VarBoundMod2 that is used to change both bounds of a variable. More...
#include "Modification.h"
Include dependency graph for VarBoundMod.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Classes | |
| class | Minotaur::VarBoundMod |
| Modification of a single bound on a variable. More... | |
| class | Minotaur::VarBoundMod2 |
| Modification of a both bounds on a variable. More... | |
Namespaces | |
| namespace | Minotaur |
Typedefs | |
| typedef VarBoundModVector::const_iterator | Minotaur::VarBoundModConstIter |
| typedef VarBoundMod2 * | Minotaur::VarBoundMod2Ptr |
| typedef const VarBoundMod2 * | Minotaur::ConstVarBoundMod2Ptr |
| typedef std::vector< VarBoundMod2Ptr > | Minotaur::VarBoundMod2Vector |
| typedef VarBoundMod2Vector::iterator | Minotaur::VarBoundMod2Iter |
| typedef VarBoundMod2Vector::const_iterator | Minotaur::VarBoundMod2ConstIter |
Detailed Description
Declare the class VarBoundMod. It is used to save modifications in a bound of a variable. Also declare VarBoundMod2 that is used to change both bounds of a variable.