CouenneTypes.hpp

Go to the documentation of this file.

/* $Id: CouenneTypes.hpp 940 2013-01-13 19:49:02Z pbelotti $
 *
 * Name:    CouenneTypes.hpp
 * Author:  Pietro Belotti
 * Purpose: define number types used throughout the code
 *
 * (C) Carnegie-Mellon University, 2006-07
 * This file is licensed under the Eclipse Public License (EPL)
 */

#ifndef COUENNE_TYPES_H
#define COUENNE_TYPES_H

#include "CoinPragma.hpp"

namespace Couenne {

enum nodeType       {CONST=0, VAR, UNARY, N_ARY, COPY, AUX, EMPTY};

enum linearity_type {ZERO=0, CONSTANT, LINEAR, QUADRATIC, NONLINEAR};

enum pos            {PRE=0, POST, INSIDE, NONE};

enum con_sign       {COUENNE_EQ, COUENNE_LE, COUENNE_GE, COUENNE_RNG};

enum conv_type      {CURRENT_ONLY, UNIFORM_GRID, AROUND_CURPOINT};

enum expr_type {/*COU_EXPRAUX,  COU_EXPRCLONE, COU_EXPRCOPY, */
                COU_EXPRESSION, /***** variables, constants **************/
                COU_EXPRCONST, COU_EXPRVAR, COU_EXPRLBOUND, COU_EXPRUBOUND, 
                /*COU_EXPRIVAR, */ 
                COU_EXPROP,     /***** n-ary operators *******************/
                COU_EXPRSUB,  COU_EXPRSUM, COU_EXPRGROUP, COU_EXPRQUAD,
                COU_EXPRMIN,  COU_EXPRMUL, COU_EXPRTRILINEAR, COU_EXPRPOW, COU_EXPRSIGNPOW, COU_EXPRMAX, COU_EXPRDIV, 
                /*COU_EXPRBDIV,  COU_EXPRBMUL,*/ 
                COU_EXPRUNARY,  /***** unary operators *******************/
                COU_EXPRCOS,  COU_EXPRABS,
                COU_EXPREXP,  COU_EXPRINV,   COU_EXPRLOG,    
                COU_EXPROPP,   COU_EXPRSIN, COU_EXPRFLOOR, 
                COU_EXPRCEIL, MAX_COU_EXPR_CODE
                };

enum convexity {UNSET, NONCONVEX, CONVEX, CONCAVE, AFFINE, CONV_LINEAR, CONV_CONSTANT, CONV_ZERO};

enum monotonicity {MON_UNSET, NONMONOTONE, NDECREAS, NINCREAS, INCLIN, DECLIN, MON_CONST, MON_ZERO};

enum dig_type {ORIG_ONLY, STOP_AT_AUX, TAG_AND_RECURSIVE, COUNT};

class t_chg_bounds
{
public:
  enum ChangeStatus {
    UNCHANGED=0,
    CHANGED=1,
    EXACT=2
  };

  t_chg_bounds():
    lower_(UNCHANGED),
    upper_(UNCHANGED)
  {}
  t_chg_bounds(const t_chg_bounds& src):
    lower_(src.lower_),
    upper_(src.upper_)
  {}
  inline const char& lower() const {return lower_;}
  inline const char& upper() const {return upper_;}
  inline void setLower(ChangeStatus lower) {lower_ = lower;}
  inline void setUpper(ChangeStatus upper) {upper_ = upper;}
  inline void setLowerBits(char lower) {lower_ |= lower;}
  inline void setUpperBits(char upper) {upper_ |= upper;}
  t_chg_bounds operator=(const t_chg_bounds&src) {
    lower_ = src.lower_;
    upper_ = src.upper_;
    return *this;
  }
private:
  char lower_;
  char upper_;
};

typedef double CouNumber;

typedef CouNumber (*unary_function) (CouNumber);

}

#endif