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)