#include <expression.h>Include dependency graph for structure_defs.h:
Go to the source code of this file.
Defines | |
| #define | CTR_NODES 0 |
| #define | CTR_INTEGER 1 |
| #define | CTR_KJNODES 2 |
| #define | CTR_FREE 3 |
| #define | CTR_EXISTS 4 |
| #define | CTR_FORALL 5 |
| #define | CTR_STOCHASTIC 6 |
| #define | NUM_CTR 7 |
| #define | CTR_VARS 0 |
| #define | CTR_VINTEGER 1 |
| #define | CTR_VFREE 2 |
| #define | CTR_VEXISTS 3 |
| #define | CTR_VFORALL 4 |
| #define | CTR_VSTOCHASTIC 5 |
| #define | CTR_VKJ 6 |
| #define | CTR_V2BOUNDED 7 |
| #define | CTR_V1BOUNDED 8 |
| #define | CTR_VUBOUNDED 9 |
| #define | NUM_VCTR 10 |
| #define | CTR_OBJ 0 |
| #define | CTR_OINTEGER 1 |
| #define | CTR_OFREE 2 |
| #define | CTR_OEXISTS 3 |
| #define | CTR_OFORALL 4 |
| #define | CTR_OSTOCHASTIC 5 |
| #define | CTR_O2BOUNDED 6 |
| #define | CTR_O1BOUNDED 7 |
| #define | CTR_OUBOUNDED 8 |
| #define | CTR_ODIM1 9 |
| #define | CTR_ODIM2 10 |
| #define | CTR_OMTDIM2 11 |
| #define | CTR_ODEG1 12 |
| #define | CTR_ODEG2 13 |
| #define | CTR_ODEG3 14 |
| #define | CTR_OMTDEG3P 15 |
| #define | CTR_ONLN 16 |
| #define | CTR_OCONVEX 17 |
| #define | CTR_OCONCAVE 18 |
| #define | CTR_MIN 19 |
| #define | NUM_OCTR 20 |
| #define | CTR_CONSTR 0 |
| #define | CTR_CEQU 1 |
| #define | CTR_CINEQ 2 |
| #define | CTR_EBOUND 3 |
| #define | CTR_EMTDEG3P 7 |
| #define | CTR_ENLN 8 |
| #define | CTR_EDIM1 9 |
| #define | CTR_EDIM2 10 |
| #define | CTR_EMTDIM2 11 |
| #define | CTR_EINTEGER 12 |
| #define | CTR_IBOUND 13 |
| #define | CTR_IMTDEG3P 17 |
| #define | CTR_INLN 18 |
| #define | CTR_IDIM1 19 |
| #define | CTR_IDIM2 20 |
| #define | CTR_IMTDIM2 21 |
| #define | CTR_IINTEGER 22 |
| #define | CTR_ICONVEX 23 |
| #define | CTR_ICONCAVE 24 |
| #define | CTR_IACTIVE 25 |
| #define | CTR_IINACTIVE 26 |
| #define | CTR_IACTIVE_LO 27 |
| #define | CTR_IINACTIVE_LO 28 |
| #define | CTR_IACTIVE_HI 29 |
| #define | CTR_IINACTIVE_HI 30 |
| #define | CTR_IREDUNDANT 31 |
| #define | CTR_IRESTRICT 32 |
| #define | NUM_CCTR 33 |
| #define | CTR_EDGES 0 |
| #define | CTR_LEAVES 1 |
| #define | CTR_ROOTS 2 |
| #define | NUM_ECTR 3 |
| #define | CTR_EXPRINFO_USERDEFINED (EXPRINFO_NUMOFPREDEF+1) |
Definition in file structure_defs.h.
|
|
Definition at line 76 of file structure_defs.h. |
|
|
Definition at line 77 of file structure_defs.h. |
|
|
Definition at line 75 of file structure_defs.h. |
|
|
Definition at line 78 of file structure_defs.h. |
|
|
Definition at line 104 of file structure_defs.h. |
|
|
Definition at line 81 of file structure_defs.h. |
|
|
Definition at line 82 of file structure_defs.h. |
|
|
Definition at line 84 of file structure_defs.h. |
|
|
Definition at line 79 of file structure_defs.h. |
|
|
Definition at line 83 of file structure_defs.h. |
|
|
Definition at line 80 of file structure_defs.h. |
|
|
Definition at line 36 of file structure_defs.h. |
|
|
Definition at line 109 of file structure_defs.h. |
|
|
Definition at line 37 of file structure_defs.h. |
|
|
Definition at line 35 of file structure_defs.h. |
|
|
Definition at line 94 of file structure_defs.h. |
|
|
Definition at line 98 of file structure_defs.h. |
|
|
Definition at line 96 of file structure_defs.h. |
|
|
Definition at line 85 of file structure_defs.h. |
|
|
Definition at line 93 of file structure_defs.h. |
|
|
Definition at line 92 of file structure_defs.h. |
|
|
Definition at line 88 of file structure_defs.h. |
|
|
Definition at line 89 of file structure_defs.h. |
|
|
Definition at line 95 of file structure_defs.h. |
|
|
Definition at line 99 of file structure_defs.h. |
|
|
Definition at line 97 of file structure_defs.h. |
|
|
Definition at line 91 of file structure_defs.h. |
|
|
Definition at line 86 of file structure_defs.h. |
|
|
Definition at line 90 of file structure_defs.h. |
|
|
Definition at line 87 of file structure_defs.h. |
|
|
Definition at line 33 of file structure_defs.h. |
|
|
Definition at line 100 of file structure_defs.h. |
|
|
Definition at line 101 of file structure_defs.h. |
|
|
Definition at line 34 of file structure_defs.h. |
|
|
Definition at line 105 of file structure_defs.h. |
|
|
Definition at line 72 of file structure_defs.h. |
|
|
Definition at line 32 of file structure_defs.h. |
|
|
Definition at line 60 of file structure_defs.h. |
|
|
Definition at line 59 of file structure_defs.h. |
|
|
Definition at line 53 of file structure_defs.h. |
|
|
Definition at line 71 of file structure_defs.h. |
|
|
Definition at line 70 of file structure_defs.h. |
|
|
Definition at line 65 of file structure_defs.h. |
|
|
Definition at line 66 of file structure_defs.h. |
|
|
Definition at line 67 of file structure_defs.h. |
|
|
Definition at line 62 of file structure_defs.h. |
|
|
Definition at line 63 of file structure_defs.h. |
|
|
Definition at line 56 of file structure_defs.h. |
|
|
Definition at line 57 of file structure_defs.h. |
|
|
Definition at line 55 of file structure_defs.h. |
|
|
Definition at line 54 of file structure_defs.h. |
|
|
Definition at line 68 of file structure_defs.h. |
|
|
Definition at line 64 of file structure_defs.h. |
|
|
Definition at line 69 of file structure_defs.h. |
|
|
Definition at line 58 of file structure_defs.h. |
|
|
Definition at line 61 of file structure_defs.h. |
|
|
Definition at line 106 of file structure_defs.h. |
|
|
Definition at line 38 of file structure_defs.h. |
|
|
Definition at line 49 of file structure_defs.h. |
|
|
Definition at line 48 of file structure_defs.h. |
|
|
Definition at line 41 of file structure_defs.h. |
|
|
Definition at line 44 of file structure_defs.h. |
|
|
Definition at line 45 of file structure_defs.h. |
|
|
Definition at line 43 of file structure_defs.h. |
|
|
Definition at line 42 of file structure_defs.h. |
|
|
Definition at line 47 of file structure_defs.h. |
|
|
Definition at line 46 of file structure_defs.h. |
|
|
Definition at line 50 of file structure_defs.h. |
|
|
Definition at line 102 of file structure_defs.h. |
|
|
Definition at line 39 of file structure_defs.h. |
|
|
Definition at line 107 of file structure_defs.h. |
|
|
Definition at line 73 of file structure_defs.h. |
|
|
Definition at line 51 of file structure_defs.h. |
1.2.18