ProbStructure.h

Go to the documentation of this file.

//
//    Minotaur -- It's only 1/2 bull
//
//    (C)opyright 2008 - 2025 The Minotaur Team.
//
 
 
#ifndef MINOTAURPROBSTRUCTURE_H
#define MINOTAURPROBSTRUCTURE_H
 
#include <vector>
 
#include "Problem.h"
#include "Constraint.h"
#include "Variable.h"
#include "Types.h"
#include "Environment.h"
 
namespace Minotaur{
 
struct ProbStructStats
{
  UInt totalcons; // Total number of constraints checked.
  UInt totalGUBs;  // Total number of GUBs obtained.
}; 
 
class ProbStructure;
typedef const ProbStructure* ConstProbStructPtr;
typedef ProbStructure* ProbStructPtr;
typedef ProbStructStats* ProbStructStatsPtr;
typedef ProbStructStats const * ConstProbStructStatsPtr;
 
typedef std::pair<ConstVariablePtr, ConstConstraintVectorPtr> VarConsPair;
typedef std::map<ConstVariablePtr, ConstConstraintVectorPtr> VarCons;
typedef VarCons * VarConsPtr;
typedef VarCons::iterator VarConsIterator;
typedef VarCons::const_iterator VarConsConstIterator;
 
 
class ProbStructure{
public:
  ProbStructure();
 
  ProbStructure(ProblemPtr p, EnvPtr env);
 
  ~ProbStructure();
 
  bool evalConstraint(ConstConstraintPtr cons);
  
  void addConstraint(ConstConstraintPtr cons);
  
  void generateLists();
 
  UInt getNumGUB() const {return list_->size();};
  
  UInt getNumVarGUB(ConstVariablePtr var) const;
  
  UInt getNumConsChecked() const {return stats_->totalcons;};
  
  ConstProbStructStatsPtr getStats() const {return stats_;};
  
  ConstConstraintVectorPtr getVarGUBs(ConstVariablePtr var) const;
 
  ConstConstraintVectorPtr getGUBs() const {return list_;};
  
private:
  // Environment.
  EnvPtr env_;
  // Problem that we identify GUB constraints.
  ProblemPtr p_;
  // Constraint list that contains the pointers to GUB constraints.
  ConstConstraintVectorPtr list_;
  // Vector that contains pair<variable,GUBlist>.
  VarConsPtr varlist_;
  // Statistics about GUBs.
  ProbStructStatsPtr stats_;
};
 
} // end of namespace
 
#endif // MINOTAURPROBSTRUCTURE_H