#include <expression.h>
Go to the source code of this file.
Namespaces | |
namespace | coco |
the main namespace of the COCONUT API | |
Defines | |
Counter Indices for DAG Structure Analysis | |
These are definitions of counter indices used by the various models dealing with DAG structure analysis. | |
#define | CTR_NODES 0 |
number of nodes counter | |
#define | CTR_INTEGER 1 |
number of integer nodes counter | |
#define | CTR_KJNODES 2 |
number of KJ nodes counter | |
#define | CTR_FREE 3 |
number of free nodes counter | |
#define | CTR_EXISTS 4 |
number of exists nodes counter | |
#define | CTR_FORALL 5 |
number of forall nodes counter | |
#define | CTR_STOCHASTIC 6 |
number of stochastic nodes counter | |
#define | NUM_CTR 7 |
number of basic counters | |
#define | CTR_VARS 0 |
number of variables counter | |
#define | CTR_VBINARY 1 |
number of integer variables counter | |
#define | CTR_VINTEGER 1 |
number of non-binary integer variables counter | |
#define | CTR_VFREE 3 |
number of free variables counter | |
#define | CTR_VEXISTS 4 |
number of exists variables counter | |
#define | CTR_VFORALL 5 |
number of forall variables counter | |
#define | CTR_VSTOCHASTIC 6 |
number of stochastic variables counter | |
#define | CTR_VKJ 7 |
number of KJ variables counter | |
#define | CTR_V2BOUNDED 8 |
number of twosided bounded variables counter | |
#define | CTR_V1BOUNDED 9 |
number of onesided bounded variables counter | |
#define | CTR_VUBOUNDED 10 |
number of unbounded variables counter | |
#define | NUM_VCTR 11 |
number of variables counters | |
#define | CTR_OBJ 0 |
number of objectives counter | |
#define | CTR_OINTEGER 1 |
number of integer objectives counter | |
#define | CTR_OFREE 2 |
number of free objectives counter | |
#define | CTR_OEXISTS 3 |
number of exists objectives counter | |
#define | CTR_OFORALL 4 |
number of forall objectives counter | |
#define | CTR_OSTOCHASTIC 5 |
number of stochastic objectives counter | |
#define | CTR_O2BOUNDED 6 |
number of twosided bounded objectives counter | |
#define | CTR_O1BOUNDED 7 |
number of onesided bounded objectives counter | |
#define | CTR_OUBOUNDED 8 |
number of unbounded objectives counter | |
#define | CTR_ODIM1 9 |
number of univariate objectives counter | |
#define | CTR_ODIM2 10 |
number of twodimensional objectives counter | |
#define | CTR_OMTDIM2 11 |
number of multidimensional objectives counter | |
#define | CTR_ODEG1 12 |
number of linear objectives counter | |
#define | CTR_ODEG2 13 |
number of quadratic objectives counter | |
#define | CTR_ODEG3 14 |
number of cubic objectives counter | |
#define | CTR_OMTDEG3P 15 |
number of polynomial noncubic objectives counter | |
#define | CTR_ONLN 16 |
number of nonpolynomial objectives counter | |
#define | CTR_OCONVEX 17 |
number of convex objectives counter | |
#define | CTR_OCONCAVE 18 |
number of concave objectives counter | |
#define | CTR_MIN 19 |
number of objectives to be minimized counter | |
#define | NUM_OCTR 20 |
number of objectives counters | |
#define | CTR_CONSTR 0 |
number of constraints counter | |
#define | CTR_CEQU 1 |
number of equality constraints counter | |
#define | CTR_CINEQ 2 |
number of inequality constraints counter | |
#define | CTR_EBOUND 3 |
number of equality bound constraints counter | |
#define | CTR_EDEG1 4 |
number of linear equality constraints counter | |
#define | CTR_EDEG2 5 |
number of quadratic equality constraints counter | |
#define | CTR_EDEG3 6 |
number of cubic equality constraints counter | |
#define | CTR_EMTDEG3P 7 |
number of polynomial noncubic equality constraints counter | |
#define | CTR_ENLN 8 |
number of nonpolynomial equality constraints counter | |
#define | CTR_EDIM1 9 |
number of univariate equality constraints counter | |
#define | CTR_EDIM2 10 |
number of twodimensional equality constraints counter | |
#define | CTR_EMTDIM2 11 |
number of multidimensional equality constraints counter | |
#define | CTR_EINTEGER 12 |
number of integer equality constraints counter | |
#define | CTR_IBOUND 13 |
number of inequality bound constraints counter | |
#define | CTR_IDEG1 14 |
number of linear equality constraints counter | |
#define | CTR_IDEG2 15 |
number of quadratic equality constraints counter | |
#define | CTR_IDEG3 16 |
number of cubic equality constraints counter | |
#define | CTR_IMTDEG3P 17 |
number of polynomial noncubic inequality constraints counter | |
#define | CTR_INLN 18 |
number of nonpolynomial inequality constraints counter | |
#define | CTR_IDIM1 19 |
number of univariate inequality constraints counter | |
#define | CTR_IDIM2 20 |
number of twodimensional inequality constraints counter | |
#define | CTR_IMTDIM2 21 |
number of multidimensional inequality constraints counter | |
#define | CTR_IINTEGER 22 |
number of integer inequality constraints counter | |
#define | CTR_ICONVEX 23 |
number of integer inequality constraints counter | |
#define | CTR_ICONCAVE 24 |
number of integer inequality constraints counter | |
#define | CTR_IACTIVE 25 |
number of integer inequality constraints counter | |
#define | CTR_IINACTIVE 26 |
number of active inequality constraints counter | |
#define | CTR_IACTIVE_LO 27 |
number of inactive inequality constraints counter | |
#define | CTR_IINACTIVE_LO 28 |
number of inequality constraints active at the lower bound counter | |
#define | CTR_IACTIVE_HI 29 |
number of inequality constraints inactive at the lower bound counter | |
#define | CTR_IINACTIVE_HI 30 |
number of inequality constraints active at the upper bound counter | |
#define | CTR_IREDUNDANT 31 |
number of inequality constraints inactive at the upper bound counter | |
#define | CTR_IRESTRICT 32 |
number of redundant inequality constraints counter | |
#define | NUM_CCTR 33 |
number of constraints counters | |
#define | CTR_EDGES 0 |
number of edges counter | |
#define | CTR_LEAVES 1 |
number of leaves counter | |
#define | CTR_ROOTS 2 |
number of roots counter | |
#define | NUM_ECTR 3 |
number of graph structure counters | |
#define | CTR_SNNZJ 0 |
number of nonzero entries of the Jacobian | |
#define | CTR_SNNZH 1 |
number of nonzero entries of the Hessian of the Lagrangian | |
#define | CTR_SDIFF 2 |
differentiability of the problem | |
#define | NUM_SCTR 3 |
number of structure counters | |
#define | CTR_EXPRINFO_USERDEFINED (EXPRINFO_NUMOFPREDEF+1) |
number of nodes counter |
Definition in file structure_defs.h.
#define CTR_CEQU 1 |
Definition at line 127 of file structure_defs.h.
#define CTR_CINEQ 2 |
Definition at line 129 of file structure_defs.h.
#define CTR_CONSTR 0 |
Definition at line 125 of file structure_defs.h.
#define CTR_EBOUND 3 |
Definition at line 131 of file structure_defs.h.
#define CTR_EDEG1 4 |
Definition at line 133 of file structure_defs.h.
#define CTR_EDEG2 5 |
Definition at line 135 of file structure_defs.h.
#define CTR_EDEG3 6 |
Definition at line 137 of file structure_defs.h.
#define CTR_EDGES 0 |
Definition at line 194 of file structure_defs.h.
#define CTR_EDIM1 9 |
Definition at line 143 of file structure_defs.h.
#define CTR_EDIM2 10 |
Definition at line 145 of file structure_defs.h.
#define CTR_EINTEGER 12 |
Definition at line 149 of file structure_defs.h.
#define CTR_EMTDEG3P 7 |
Definition at line 139 of file structure_defs.h.
#define CTR_EMTDIM2 11 |
Definition at line 147 of file structure_defs.h.
#define CTR_ENLN 8 |
Definition at line 141 of file structure_defs.h.
#define CTR_EXISTS 4 |
Definition at line 48 of file structure_defs.h.
#define CTR_EXPRINFO_USERDEFINED (EXPRINFO_NUMOFPREDEF+1) |
Definition at line 211 of file structure_defs.h.
#define CTR_FORALL 5 |
Definition at line 50 of file structure_defs.h.
#define CTR_FREE 3 |
Definition at line 46 of file structure_defs.h.
#define CTR_IACTIVE 25 |
Definition at line 175 of file structure_defs.h.
#define CTR_IACTIVE_HI 29 |
Definition at line 183 of file structure_defs.h.
#define CTR_IACTIVE_LO 27 |
Definition at line 179 of file structure_defs.h.
#define CTR_IBOUND 13 |
Definition at line 151 of file structure_defs.h.
#define CTR_ICONCAVE 24 |
Definition at line 173 of file structure_defs.h.
#define CTR_ICONVEX 23 |
Definition at line 171 of file structure_defs.h.
#define CTR_IDEG1 14 |
Definition at line 153 of file structure_defs.h.
#define CTR_IDEG2 15 |
Definition at line 155 of file structure_defs.h.
#define CTR_IDEG3 16 |
Definition at line 157 of file structure_defs.h.
#define CTR_IDIM1 19 |
Definition at line 163 of file structure_defs.h.
#define CTR_IDIM2 20 |
Definition at line 165 of file structure_defs.h.
#define CTR_IINACTIVE 26 |
Definition at line 177 of file structure_defs.h.
#define CTR_IINACTIVE_HI 30 |
Definition at line 185 of file structure_defs.h.
#define CTR_IINACTIVE_LO 28 |
Definition at line 181 of file structure_defs.h.
#define CTR_IINTEGER 22 |
Definition at line 169 of file structure_defs.h.
#define CTR_IMTDEG3P 17 |
Definition at line 159 of file structure_defs.h.
#define CTR_IMTDIM2 21 |
Definition at line 167 of file structure_defs.h.
#define CTR_INLN 18 |
Definition at line 161 of file structure_defs.h.
#define CTR_INTEGER 1 |
Definition at line 42 of file structure_defs.h.
#define CTR_IREDUNDANT 31 |
Definition at line 187 of file structure_defs.h.
#define CTR_IRESTRICT 32 |
Definition at line 189 of file structure_defs.h.
#define CTR_KJNODES 2 |
Definition at line 44 of file structure_defs.h.
#define CTR_LEAVES 1 |
Definition at line 196 of file structure_defs.h.
#define CTR_MIN 19 |
Definition at line 120 of file structure_defs.h.
#define CTR_NODES 0 |
Definition at line 40 of file structure_defs.h.
#define CTR_O1BOUNDED 7 |
Definition at line 96 of file structure_defs.h.
#define CTR_O2BOUNDED 6 |
Definition at line 94 of file structure_defs.h.
#define CTR_OBJ 0 |
Definition at line 82 of file structure_defs.h.
#define CTR_OCONCAVE 18 |
Definition at line 118 of file structure_defs.h.
#define CTR_OCONVEX 17 |
Definition at line 116 of file structure_defs.h.
#define CTR_ODEG1 12 |
Definition at line 106 of file structure_defs.h.
#define CTR_ODEG2 13 |
Definition at line 108 of file structure_defs.h.
#define CTR_ODEG3 14 |
Definition at line 110 of file structure_defs.h.
#define CTR_ODIM1 9 |
Definition at line 100 of file structure_defs.h.
#define CTR_ODIM2 10 |
Definition at line 102 of file structure_defs.h.
#define CTR_OEXISTS 3 |
Definition at line 88 of file structure_defs.h.
#define CTR_OFORALL 4 |
Definition at line 90 of file structure_defs.h.
#define CTR_OFREE 2 |
Definition at line 86 of file structure_defs.h.
#define CTR_OINTEGER 1 |
Definition at line 84 of file structure_defs.h.
#define CTR_OMTDEG3P 15 |
Definition at line 112 of file structure_defs.h.
#define CTR_OMTDIM2 11 |
Definition at line 104 of file structure_defs.h.
#define CTR_ONLN 16 |
Definition at line 114 of file structure_defs.h.
#define CTR_OSTOCHASTIC 5 |
Definition at line 92 of file structure_defs.h.
#define CTR_OUBOUNDED 8 |
Definition at line 98 of file structure_defs.h.
#define CTR_ROOTS 2 |
Definition at line 198 of file structure_defs.h.
#define CTR_SDIFF 2 |
Definition at line 207 of file structure_defs.h.
#define CTR_SNNZH 1 |
Definition at line 205 of file structure_defs.h.
#define CTR_SNNZJ 0 |
Definition at line 203 of file structure_defs.h.
#define CTR_STOCHASTIC 6 |
Definition at line 52 of file structure_defs.h.
#define CTR_V1BOUNDED 9 |
Definition at line 75 of file structure_defs.h.
#define CTR_V2BOUNDED 8 |
Definition at line 73 of file structure_defs.h.
#define CTR_VARS 0 |
Definition at line 57 of file structure_defs.h.
#define CTR_VBINARY 1 |
Definition at line 59 of file structure_defs.h.
#define CTR_VEXISTS 4 |
Definition at line 65 of file structure_defs.h.
#define CTR_VFORALL 5 |
Definition at line 67 of file structure_defs.h.
#define CTR_VFREE 3 |
Definition at line 63 of file structure_defs.h.
#define CTR_VINTEGER 1 |
Definition at line 61 of file structure_defs.h.
#define CTR_VKJ 7 |
Definition at line 71 of file structure_defs.h.
#define CTR_VSTOCHASTIC 6 |
Definition at line 69 of file structure_defs.h.
#define CTR_VUBOUNDED 10 |
Definition at line 77 of file structure_defs.h.
#define NUM_CCTR 33 |
Definition at line 191 of file structure_defs.h.
#define NUM_CTR 7 |
Definition at line 54 of file structure_defs.h.
#define NUM_ECTR 3 |
Definition at line 200 of file structure_defs.h.
#define NUM_OCTR 20 |
Definition at line 122 of file structure_defs.h.
#define NUM_SCTR 3 |
Definition at line 209 of file structure_defs.h.
#define NUM_VCTR 11 |
Definition at line 79 of file structure_defs.h.