disjunctive.h

#ifndef SCIL_DISJUNCTIVE_H
#define SCIL_DISJUNCTIVE_H

#include<scil/scil.h>

class disjunctive : public sym_constraint {

 private:
  class disjunctive_cut;

 public:

  disjunctive() {
  };

  status separate(subproblem& S);

};
#endif

---