mqn2mps: opbgen.hh Source File

00001 /*
00002  *  Copyright 2007 Martin von Gagern
00003  *
00004  *
00005  *  This file is part of mqn2mps.
00006  *
00007  *  mqn2mps is free software; you can redistribute it and/or modify
00008  *  it under the terms of the GNU General Public License as published by
00009  *  the Free Software Foundation; either version 3 of the License, or
00010  *  (at your option) any later version.
00011  *
00012  *  mqn2mps is distributed in the hope that it will be useful,
00013  *  but WITHOUT ANY WARRANTY; without even the implied warranty of
00014  *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
00015  *  GNU General Public License for more details.
00016  *
00017  *  You should have received a copy of the GNU General Public License
00018  *  along with this program.  If not, see <http://www.gnu.org/licenses/>.
00019  */
00020 
00021 
00022 #ifndef OPBGEN_HH
00023 #define OPBGEN_HH
00024 
00025 /**
00026  * @file
00027  * Interface of class opbgen
00028  */
00029 
00030 /**
00031  * Output module for writing OPBDP instances.
00032  *
00033  * This class writes a set of pseudo-boolean inequalities.
00034  * The range of non-binary variables is expressed using binarization.
00035  */
00036 class opbgen : public mipgen {
00037  public:
00038   opbgen(const driver& d);
00039   void write(std::ostream& out);
00040 };
00041 
00042 #endif