---

expression.h File Reference

#include <stdarg.h>
#include <stdio.h>
#include <dag.h>
#include <visitor.h>
#include <interval.h>
#include <coconut_config.h>
#include <semantics.h>
#include <evaluator.h>
#include <g_algo.h>
#include <fstream>
#include <cerrno>
#include <string>
#include <utility>
#include <values.h>
#include <linalg.h>
#include <addinfo.h>
#include <expr-inline.h>

Include dependency graph for expression.h:

Go to the source code of this file.

Compounds
class	expression_node
Defines
#define	EXPRINFO_GHOST   0
#define	EXPRINFO_CONSTANT   -1
#define	EXPRINFO_VARIABLE   -2
#define	EXPRINFO_SUM   -3
#define	EXPRINFO_MEAN   -4
#define	EXPRINFO_PROD   -5
#define	EXPRINFO_MAX   -6
#define	EXPRINFO_MIN   -7
#define	EXPRINFO_MONOME   -8
#define	EXPRINFO_SCPROD   -9
#define	EXPRINFO_NORM   -10
#define	EXPRINFO_INVERT   -11
#define	EXPRINFO_SQUARE   -12
#define	EXPRINFO_SQROOT   -13
#define	EXPRINFO_ABS   -14
#define	EXPRINFO_INTPOWER   -15
#define	EXPRINFO_EXP   -16
#define	EXPRINFO_LOG   -17
#define	EXPRINFO_SIN   -18
#define	EXPRINFO_COS   -19
#define	EXPRINFO_GAUSS   -20
#define	EXPRINFO_POLY   -21
#define	EXPRINFO_POW   -22
#define	EXPRINFO_DIV   -23
#define	EXPRINFO_ATAN2   -24
#define	EXPRINFO_LIN   -25
#define	EXPRINFO_QUAD   -26
#define	EXPRINFO_RE   -27
#define	EXPRINFO_IM   -28
#define	EXPRINFO_ARG   -29
#define	EXPRINFO_CPLXCONJ   -30
#define	EXPRINFO_LOOKUP   -31
#define	EXPRINFO_PWLIN   -32
#define	EXPRINFO_SPLINE   -33
#define	EXPRINFO_PWCONSTLC   -34
#define	EXPRINFO_PWCONSTRC   -35
#define	EXPRINFO_IN   -36
#define	EXPRINFO_IF   -37
#define	EXPRINFO_AND   -38
#define	EXPRINFO_OR   -39
#define	EXPRINFO_NOT   -40
#define	EXPRINFO_IMPLIES   -41
#define	EXPRINFO_COUNT   -42
#define	EXPRINFO_ALLDIFF   -43
#define	EXPRINFO_HISTOGRAM   -44
#define	EXPRINFO_LEVEL   -45
#define	EXPRINFO_NEIGHBOR   -46
#define	EXPRINFO_NOGOOD   -47
#define	EXPRINFO_EXPECTATION   -48
#define	EXPRINFO_INTEGRAL   -49
#define	EXPRINFO_DET   -50
#define	EXPRINFO_COND   -51
#define	EXPRINFO_PSD   -52
#define	EXPRINFO_MPROD   -53
#define	EXPRINFO_FEM   -54
#define	EXPRINFO_CMPROD   -55
#define	EXPRINFO_CGFEM   -56
#define	EXPRINFO_UNDEFINED   -57
#define	EXPRINFO_NUMOFPREDEF   -(EXPRINFO_UNDEFINED)
#define	EXPR_LASTARG   NULL
Typedefs
typedef interval	rhs_t
typedef std::vector< void * >	evaluator_v
Enumerations
enum	{   ex_bound = 1, ex_linear = 1<<1, ex_quadratic = 1<<2, ex_polynomial = 1<<3,   ex_other = 1<<4, ex_kj = 1<<7, ex_org = 1<<8, ex_redundant = 1<<9,   ex_notredundant = 1<<10, ex_active_lo = 1<<11, ex_inactive_lo = 1<<12, ex_active_hi = 1<<13,   ex_inactive_hi = 1<<14, ex_active = ex_active_lo|ex_active_hi, ex_inactive = ex_inactive_lo|ex_inactive_hi, ex_integer = 1<<15,   ex_exists = 1<<16, ex_forall = 1<<17, ex_free = 1<<18, ex_stochastic = 1<<19,   ex_convex = 1<<20, ex_concave = 1<<21, ex_inequality = 1<<28, ex_equality = 1<<29,   ex_leftbound = 1<<30, ex_rightbound = 1<<31, ex_atmlin = ex_bound|ex_linear, ex_atmquad = ex_atmlin|ex_quadratic,   ex_atmpoly = ex_atmquad|ex_polynomial, ex_nonlin = ex_quadratic|ex_polynomial|ex_other, ex_nonbnd = ex_linear|ex_nonlin, ex_any = ex_atmlin|ex_nonlin,   ex_bothbound = ex_leftbound|ex_rightbound }

---

Detailed Description

Definition in file expression.h.

---

Define Documentation

#define EXPR_LASTARG   NULL

Definition at line 148 of file expression.h.

#define EXPRINFO_ABS   -14

Definition at line 76 of file expression.h.

#define EXPRINFO_ALLDIFF   -43

Definition at line 118 of file expression.h.

#define EXPRINFO_AND   -38

Definition at line 113 of file expression.h.

#define EXPRINFO_ARG   -29

Definition at line 98 of file expression.h.

#define EXPRINFO_ATAN2   -24

Definition at line 88 of file expression.h.

#define EXPRINFO_CGFEM   -56

Definition at line 142 of file expression.h.

#define EXPRINFO_CMPROD   -55

Definition at line 141 of file expression.h.

#define EXPRINFO_COND   -51

Definition at line 135 of file expression.h.

#define EXPRINFO_CONSTANT   -1

Definition at line 57 of file expression.h.

#define EXPRINFO_COS   -19

Definition at line 81 of file expression.h.

#define EXPRINFO_COUNT   -42

Definition at line 117 of file expression.h.

#define EXPRINFO_CPLXCONJ   -30

Definition at line 101 of file expression.h.

#define EXPRINFO_DET   -50

Definition at line 134 of file expression.h.

#define EXPRINFO_DIV   -23

Definition at line 87 of file expression.h.

#define EXPRINFO_EXP   -16

Definition at line 78 of file expression.h.

#define EXPRINFO_EXPECTATION   -48

Definition at line 127 of file expression.h.

#define EXPRINFO_FEM   -54

Definition at line 138 of file expression.h.

#define EXPRINFO_GAUSS   -20

Definition at line 82 of file expression.h.

#define EXPRINFO_GHOST   0

Definition at line 55 of file expression.h.

#define EXPRINFO_HISTOGRAM   -44

Definition at line 119 of file expression.h.

#define EXPRINFO_IF   -37

Definition at line 112 of file expression.h.

#define EXPRINFO_IM   -28

Definition at line 97 of file expression.h.

#define EXPRINFO_IMPLIES   -41

Definition at line 116 of file expression.h.

#define EXPRINFO_IN   -36

Definition at line 111 of file expression.h.

#define EXPRINFO_INTEGRAL   -49

Definition at line 128 of file expression.h.

#define EXPRINFO_INTPOWER   -15

Definition at line 77 of file expression.h.

#define EXPRINFO_INVERT   -11

Definition at line 73 of file expression.h.

#define EXPRINFO_LEVEL   -45

Definition at line 120 of file expression.h.

#define EXPRINFO_LIN   -25

Definition at line 91 of file expression.h.

#define EXPRINFO_LOG   -17

Definition at line 79 of file expression.h.

#define EXPRINFO_LOOKUP   -31

Definition at line 104 of file expression.h.

#define EXPRINFO_MAX   -6

Definition at line 66 of file expression.h.

#define EXPRINFO_MEAN   -4

Definition at line 64 of file expression.h.

#define EXPRINFO_MIN   -7

Definition at line 67 of file expression.h.

#define EXPRINFO_MONOME   -8

Definition at line 68 of file expression.h.

#define EXPRINFO_MPROD   -53

Definition at line 137 of file expression.h.

#define EXPRINFO_NEIGHBOR   -46

Definition at line 123 of file expression.h.

#define EXPRINFO_NOGOOD   -47

Definition at line 124 of file expression.h.

#define EXPRINFO_NORM   -10

Definition at line 70 of file expression.h.

#define EXPRINFO_NOT   -40

Definition at line 115 of file expression.h.

#define EXPRINFO_NUMOFPREDEF   -(EXPRINFO_UNDEFINED)

Definition at line 146 of file expression.h.

#define EXPRINFO_OR   -39

Definition at line 114 of file expression.h.

#define EXPRINFO_POLY   -21

Definition at line 83 of file expression.h.

#define EXPRINFO_POW   -22

Definition at line 86 of file expression.h.

#define EXPRINFO_PROD   -5

Definition at line 65 of file expression.h.

#define EXPRINFO_PSD   -52

Definition at line 136 of file expression.h.

#define EXPRINFO_PWCONSTLC   -34

Definition at line 107 of file expression.h.

#define EXPRINFO_PWCONSTRC   -35

Definition at line 108 of file expression.h.

#define EXPRINFO_PWLIN   -32

Definition at line 105 of file expression.h.

#define EXPRINFO_QUAD   -26

Definition at line 92 of file expression.h.

#define EXPRINFO_RE   -27

Definition at line 96 of file expression.h.

#define EXPRINFO_SCPROD   -9

Definition at line 69 of file expression.h.

#define EXPRINFO_SIN   -18

Definition at line 80 of file expression.h.

#define EXPRINFO_SPLINE   -33

Definition at line 106 of file expression.h.

#define EXPRINFO_SQROOT   -13

Definition at line 75 of file expression.h.

#define EXPRINFO_SQUARE   -12

Definition at line 74 of file expression.h.

#define EXPRINFO_SUM   -3

Definition at line 63 of file expression.h.

#define EXPRINFO_UNDEFINED   -57

Definition at line 145 of file expression.h.

#define EXPRINFO_VARIABLE   -2

Definition at line 58 of file expression.h.

---

Typedef Documentation

typedef std::vector<void*> evaluator_v

Definition at line 200 of file expression.h.

typedef interval rhs_t

Definition at line 198 of file expression.h.

---

Enumeration Type Documentation

anonymous enum

Enumeration values: ex_bound  ex_linear  ex_quadratic  ex_polynomial  ex_other  ex_kj  ex_org  ex_redundant  ex_notredundant  ex_active_lo  ex_inactive_lo  ex_active_hi  ex_inactive_hi  ex_active  ex_inactive  ex_integer  ex_exists  ex_forall  ex_free  ex_stochastic  ex_convex  ex_concave  ex_inequality  ex_equality  ex_leftbound  ex_rightbound  ex_atmlin  ex_atmquad  ex_atmpoly  ex_nonlin  ex_nonbnd  ex_any  ex_bothbound  Definition at line 153 of file expression.h.

---