PerspList.h

Go to the documentation of this file.

//
//    Minotaur -- It's only 1/2 bull
//
//    (C)opyright 2008 - 2025 The Minotaur Team.
//
 
 
#ifndef MINOTAURPERSPLIST_H
#define MINOTAURPERSPLIST_H
 
#include <map>
#include <fstream>
using std::ofstream;
#include <string>
using std::string;
 
#include "Relaxation.h"
#include "Constraint.h"
#include "Variable.h"
#include "Types.h"
#include "Environment.h"
 
namespace Minotaur {
 
  struct PerspListStats
  {
    UInt totalcons; // Total number of constraints checked.
    UInt totalpersp; // Total number of perspective constraints obtained.
  };
 
  class PerspList;
  typedef PerspList* PerspListPtr;
  typedef const PerspList* ConstPerspListPtr;
  typedef PerspListStats* PerspListStatsPtr;
  typedef PerspListStats const * ConstPerspListStatsPtr;
 
  typedef std::map<VariablePtr, std::pair<ConstConstraintPtr, ConstConstraintPtr> > VarUbLb;
  typedef VarUbLb* VarUbLbPtr;
  typedef std::pair<ConstConstraintPtr, ConstVariablePtr> ConsVar;
  //typedef std::map<ConstConstraintPtr, VarUbLbPtr> PerspCons;
  typedef std::map<ConsVar, VarUbLbPtr> PerspCons;
  typedef PerspCons* PerspConsPtr;
  typedef const PerspCons* ConstPerspConsPtr;
 
  class PerspList {
  public:
    PerspList();
 
    PerspList(RelaxationPtr rel, EnvPtr env);
 
    ~PerspList();
 
    bool evalConstraint(ConstConstraintPtr cons, VarUbLbPtr boundcons,
                        VariablePtr& binvar);
 
    bool separable(ConstConstraintPtr cons, ConstVariablePtr binvar);
 
    bool checkVarTypes(const FunctionPtr f, ConstVariablePtr& binvar);
 
    bool checkVarsBounds(const FunctionPtr f, ConstVariablePtr binvar,
                         VarUbLbPtr boundcons);
 
    bool checkVarBounds(ConstVariablePtr var, ConstVariablePtr binvar,
                        VarUbLbPtr varbounds);
 
    void addConstraint(ConstConstraintPtr cons, VarUbLbPtr boundcons,
                       VariablePtr binvar);
 
    void generateList();
 
    bool initialBinary(ConstVariablePtr var, VarSetPtr binaries);
 
    UInt getNumPersp() const {return list_->size();};
 
    UInt getNumConsChecked() const {return stats_->totalcons;};
 
    ConstPerspListStatsPtr getStats() const {return stats_;};
 
    ConstPerspConsPtr getPerspCons() const {return list_;};
 
    void printPersp(ConstConstraintPtr cons, VarUbLbPtr boundcons, 
                    ConstVariablePtr binvar);
 
  private:
    EnvPtr env_;
    RelaxationPtr rel_;
    PerspConsPtr list_;
    PerspListStatsPtr stats_;
    ofstream output_;
    string outfile_;
  }; // end of class PerspList.
 
 
} // end of namespace.
 
 
 
#endif // MINOTAURPERSPLIST_H