///Primal-dual infeasible

 	  ///Primal-dual infeasible

 	  PRIMAL_DUAL_INFEASIBLE = 3,

 	  PRIMAL_DUAL_INFEASIBLE = 3,

 	  ///Could not determine so far

 	  ///Could not determine so far

 	  UNKNOWN = 4

 	  UNKNOWN = 4

       };

       };

     ///The floating point type used by the solver

     ///The floating point type used by the solver

     typedef double Value;

     typedef double Value;

     ///The infinity constant

     ///The infinity constant

     static const Value INF;

     static const Value INF;

     ///The not a number constant

     ///The not a number constant