00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012 #include "CouenneOSInterface.hpp"
00013
00014 #include "CouenneProblem.hpp"
00015
00016 #include "CouenneTypes.hpp"
00017
00018 #include "exprSum.hpp"
00019 #include "exprMul.hpp"
00020 #include "exprClone.hpp"
00021 #include "exprGroup.hpp"
00022
00023
00024 class OSInstance;
00025
00026 void CouenneOSInterface::registerOptions(Ipopt::SmartPtr<Bonmin::RegisteredOptions> roptions) {
00027 roptions->AddStringOption1("osilfile", "name of an osil file to read the problem instance from", "", "*", "name of osil file");
00028 }
00029
00030 CouenneOSInterface::~CouenneOSInterface() {
00031
00032 delete problem;
00033 }
00034
00035 CouenneProblem* CouenneOSInterface::getCouenneProblem() {
00036 if (!osinstance) {
00037
00038 }
00039
00040 problem = new CouenneProblem;
00041
00042
00043
00044
00045
00046
00047
00048
00049 int n_var = 0;
00050
00051
00052 for (int i = 0; i < n_var; i++)
00053 problem -> addVariable (false, problem -> domain ());
00054
00055
00056 expression *expr = NULL;
00057
00058 problem -> addObjective (expr, "min");
00059
00060
00061
00062
00063
00064
00065
00066
00067
00068
00069
00070 CouNumber
00071 *x = (CouNumber *) malloc (n_var * sizeof (CouNumber)),
00072 *lb = (CouNumber *) malloc (n_var * sizeof (CouNumber)),
00073 *ub = (CouNumber *) malloc (n_var * sizeof (CouNumber));
00074
00075 for (int i = n_var; i--;) {
00076 x [i] = 0.;
00077 lb [i] = -COUENNE_INFINITY;
00078 ub [i] = COUENNE_INFINITY;
00079 }
00080
00081
00082 problem -> domain () -> push (n_var, x, lb, ub);
00083
00084 free (x); free (lb); free (ub);
00085
00086
00087
00088 for (register int i=n_var; i--;) {
00089 problem -> Lb (i) = - COUENNE_INFINITY;
00090 problem -> Ub (i) = COUENNE_INFINITY;
00091 problem -> X (i) = 0;
00092 }
00093
00094
00095
00096 return problem;
00097 }
00098
00099 Ipopt::SmartPtr<Bonmin::TMINLP> CouenneOSInterface::getTMINLP() {
00100 return tminlp;
00101 }
00102
00103 bool CouenneOSInterface::writeSolution(Bonmin::Bab& bab) {
00104
00105 return false;
00106 }