Modification.h

// 
//     Minotaur -- It's only 1/2 bull
// 
//     (C)opyright 2009 - 2025 The Minotaur Team.
// 
 
#ifndef MINOTAURMODIFICATION_H
#define MINOTAURMODIFICATION_H
 
#include "Types.h"
 
namespace Minotaur {
  class   Modification;
  class   Problem;
  class   Relaxation;
  typedef Relaxation* RelaxationPtr;
 
  class Modification {
    protected:
      Modification() {}
 
    public:
      virtual ~Modification() {};
 
      virtual ModificationPtr fromRel(RelaxationPtr rel, ProblemPtr p) const
        = 0;
 
      virtual ModificationPtr toRel(ProblemPtr p, RelaxationPtr rel) const = 0;
 
      virtual void applyToProblem(ProblemPtr problem) = 0;
 
      virtual void undoToProblem(ProblemPtr problem) = 0;
 
      virtual void write(std::ostream &out) const = 0;
  };   
 
}
 
#endif