/* $Id: OSCouenneSolver.h 4292 2011-09-21 05:47:18Z kmartin $ */
/** @file OSCouenneSolver.h
 *
 * @author  Horand Gassmann, Jun Ma, Kipp Martin,
 *
 * \remarks
 * Copyright (C) 2005-2011, Horand Gassmann, Jun Ma, Kipp Martin,
 * Dalhousie University, Northwestern University, and the University of Chicago.
 * All Rights Reserved.
 * This software is licensed under the Eclipse Public License.
 * Please see the accompanying LICENSE file in root directory for terms.
 *
 */

#ifndef COUENNESOLVER_H
#define COUENNESOLVER_H

#include "OSConfig.h"
#include "OSDefaultSolver.h"
#include "OSBonminSolver.h"
#include "OSIpoptSolver.h"
#include "OSrLWriter.h"
#include "OSInstance.h"
#include "OSParameters.h"
#include "OSiLReader.h"
#include "OSExpressionTree.h"
#include "OSnLNode.h"
#include "OSDataStructures.h"
#include "OSFileUtil.h"
#include "OSErrorClass.h"
#include "OSResult.h"
#include "OSOption.h"

//Couenne stuff
namespace Couenne
{
class CouenneProblem;
class expression;
}
#include "BonCbc.hpp"
#include "BonCouenneSetup.hpp"

#include <vector>
#include <map>



/*! \class CouenneSolver
 *  \brief The CouenneSolver class solves problems using Ipopt.
 *
 * @author Jun Ma, Guss Gassmann, Kipp Martin
 * @version 1.0, 07/05/2008
 * @since OS 1.0
 *
 * \remarks
 * this class takes an OSiL instance and optimizes it using
 * the COIN-OR Ipopt solver
 *
 */

class CouenneSolver : public DefaultSolver
{
public:

    /** the CouenneSolver class constructor */
    CouenneSolver();

    /** the IpoptSolver class destructor */
    ~CouenneSolver();

    /** solve results in an instance being read into the Couenne
     * data structrues and optimized */
    virtual void  solve() throw (ErrorClass) ;

    /*! \fn void CoinSolver::buildSolverInstance()
     *  \brief The implementation of the virtual functions.
     *  \return void.
     */
    virtual void  buildSolverInstance() throw(ErrorClass);

    /*! \fn void setSolverOptions()
     *  \brief The implementation of the virtual functions.
     *  \return void.
     */
    virtual void  setSolverOptions() throw(ErrorClass);

    /**
     * use this for debugging, print out the instance that
     * the solver thinks it has and compare this with the OSiL
     * file
     */
    void dataEchoCheck();

    /**
     * use this to write the solution information to an
     * OSResult  object
     */
    void writeResult();

    /**
     * m_osilreader is an OSiLReader object used to create an osinstance from an
     * osil string if needed
     */
    OSiLReader *m_osilreader;

    /**
     * m_osolreader is an OSoLReader object used to create an osoption from an
     * osol string if needed
     */
    OSoLReader *m_osolreader;

    Couenne::CouenneProblem *couenne;

    Ipopt::SmartPtr<BonminProblem> tminlp;

    Ipopt::SmartPtr<Bonmin::TNLPSolver> app_ ;

    //SmartPtr<Bonmin::IpoptSolver> app_ ;

    // this is a Bonmin BonCbc object;
    Bonmin::Bab bb;

    Bonmin::TMINLP::SolverReturn status;

    Couenne::expression *con_body;
    Couenne::expression *obj_body;

private:
    OSrLWriter  *osrlwriter;

    Couenne::CouenneSetup couenneSetup;
    std::string couenneErrorMsg;

    Couenne::expression* createCouenneExpression(OSnLNode* node);
};


#endif /*COUENNESOLVER_H*/
