src/cuts.h

Go to the documentation of this file.

/*  This file is part of the Solver for Udine Course Timetabling Problem based 
 *  on Multiphase Exploitation of Multiple Objective-/Value-restricted Submodels 
 *  (abbreviated MEMOS for Timetabling).
 *
 *  Copyright 2009 Jakub Marecek
 *  Copyright 2009 The University of Nottingham
 *  http://www.cs.nott.ac.uk/~jxm/timetabling/memos/
 *  http://memos-solvers.sourceforge.net/ 
 *
 *  MEMOS for Timetabling is free software: you can redistribute it and/or 
 *  modify it under the terms of the GNU General Public License as published by 
 *  the Free Software Foundation, either version 3 of the License, or (at your 
 *  option) any later version. It would be greatly appreciated, however, if you
 *  could cite the following paper in any work that uses it:
 *    Edmund K. Burke, Jakub Marecek, Andrew J. Parkes, and Hana Rudova: 
 *    Decomposition, Reformulation, and Diving in University Course Timetabling.
 *    Computers and Operations Research. DOI 10.1016/j.cor.2009.02.023
 */


#ifndef UDINE_CUTS
#define UDINE_CUTS

#include <map>
#include <vector>
#include <utility>

#include <ilcplex/ilocplex.h>

#include "solver_config.h"
#include "model.h"

namespace Udine {

// For clique cuts
typedef std::pair<int, int> CliqueCutIdentifier;  // period, clique
typedef std::map<CliqueCutIdentifier, bool> CliquePool;

// Handles cut management
class CutManagerI : public IloCplex::LazyConstraintCallbackI {
protected:
  bool active;
  int totalCalls, totalCutsAdded;
  Model& solver;
  Config &config;
  CliquePool cliquePool;
public:
  ILOCOMMONCALLBACKSTUFF(CutManager) 
  CutManagerI(IloEnv env, Model& s, Config &c) 
    : IloCplex::LazyConstraintCallbackI(env), solver(s), config(c) {
    active = true;
    totalCalls = 0; 
    totalCutsAdded = 0;
    std::cout << "Mycuts: Instantiating the cut manager ..." << std::endl;
  } 
  void main();
  int genCutsFromCliquePool();
  int genCutsFromComponents();
  int genCutsFromTriangles();
  int genCutsFromTriangleNeighbourhood(int u, int v, int w, int p);
  int genCutsFromPatterns();
  int genCutsFromPatternsWithHeuristicAtSurface();
  
};

IloCplex::Callback CutManager(IloEnv env, Model& s, Config &c);

}

#endif // UDINE CUTS

---