Go to the documentation of this file.
11 #ifndef COUENNE_TYPES_H
12 #define COUENNE_TYPES_H
83 inline const char&
lower()
const {
return lower_;}
84 inline const char&
upper()
const {
return upper_;}
status of lower/upper bound of a variable, to be checked/modified in bound tightening
CouNumber(* unary_function)(CouNumber)
unary function, used in all exprUnary
expr_type
code returned by the method expression::code()
t_chg_bounds(const t_chg_bounds &src)
con_sign
sign of constraint
pos
position where the operator should be printed when printing the expression
general include file for different compilers
void setLowerBits(char lower)
dig_type
type of digging when filling the dependence list
void setUpper(ChangeStatus upper)
convexity
convexity type of an expression
monotonicity
monotonicity type of an expression
double CouNumber
main number type in Couenne
void setLower(ChangeStatus lower)
conv_type
position and number of convexification cuts added for a lower convex (upper concave) envelope
const char & upper() const
nodeType
type of a node in an expression tree
linearity_type
linearity of an expression, as returned by the method Linearity()
const char & lower() const
t_chg_bounds operator=(const t_chg_bounds &src)
void setUpperBits(char upper)