|
Minotaur 0.4.1
Docs for developers
|
Declare a base class PerspCon for identifying structures amenable to perspective reformulation (PR) (mention the paper) More...
#include <map>#include <fstream>#include <string>#include <forward_list>#include <unordered_map>#include "Timer.h"#include "Types.h"#include "Problem.h"#include "Variable.h"#include "Relaxation.h"#include "Constraint.h"#include "Environment.h"

Go to the source code of this file.
Classes | |
| struct | Minotaur::impliVarsInfo |
| struct | Minotaur::prConsInfo |
| struct | Minotaur::prObjInfo |
| class | Minotaur::PerspCon |
Namespaces | |
| namespace | Minotaur |
Typedefs | |
| typedef PerspCon * | Minotaur::PerspConPtr |
| typedef const PerspCon * | Minotaur::ConstPerspConPtr |
| typedef struct Minotaur::impliVarsInfo | Minotaur::impliVar |
| typedef struct Minotaur::prConsInfo | Minotaur::prCons |
| typedef struct Minotaur::prObjInfo | Minotaur::prObj |
Declare a base class PerspCon for identifying structures amenable to perspective reformulation (PR) (mention the paper)