---

model-inline.h File Reference

Go to the source code of this file.

Compounds
struct	__docompare_nodes
struct	__docompare_variables
class	detect_0chain_visitor
struct	detect_0chain_visitor_st
class	lincoeff_visitor
struct	lincoeff_visitor_ret
struct	lincoeff_visitor_st
class	simplify_visitor_0
class	sort_constraints
Defines
#define	MODEL_INLINE_DEBUG   0
#define	MODEL_INLINE_DEBUG_SIMPLIFY   0
#define	SIMPLIFY_0_IS_CONST   1
#define	SIMPLIFY_0_CONST_IS_INTEGER   (1<<24)
#define	SIMPLIFY_0_IS_VAR   (1<<1)
#define	SIMPLIFY_0_IS_SUM   (1<<2)
#define	SIMPLIFY_0_SUM_IS_SIMPLE   (1<<24)
#define	SIMPLIFY_0_IS_PROD   (1<<3)
#define	SIMPLIFY_0_PROD_IS_SIMPLE   (1<<24)
#define	SIMPLIFY_0_IS_MULTIPLICATIVE   (1<<4)
#define	SIMPLIFY_0_IS_CORRECTEDMULT   (1<<5)
#define	SIMPLIFY_0_IS_GHOST   (1<<31)

---

Detailed Description

Definition in file model-inline.h.

---

Define Documentation

#define MODEL_INLINE_DEBUG   0

Definition at line 30 of file model-inline.h.

#define MODEL_INLINE_DEBUG_SIMPLIFY   0

Definition at line 31 of file model-inline.h.

#define SIMPLIFY_0_CONST_IS_INTEGER   (1<<24)

Definition at line 549 of file model-inline.h.

#define SIMPLIFY_0_IS_CONST   1

Definition at line 548 of file model-inline.h.

#define SIMPLIFY_0_IS_CORRECTEDMULT   (1<<5)

Definition at line 560 of file model-inline.h.

#define SIMPLIFY_0_IS_GHOST   (1<<31)

Definition at line 562 of file model-inline.h.

#define SIMPLIFY_0_IS_MULTIPLICATIVE   (1<<4)

Definition at line 559 of file model-inline.h.

#define SIMPLIFY_0_IS_PROD   (1<<3)

Definition at line 556 of file model-inline.h.

#define SIMPLIFY_0_IS_SUM   (1<<2)

Definition at line 553 of file model-inline.h.

#define SIMPLIFY_0_IS_VAR   (1<<1)

Definition at line 551 of file model-inline.h.

#define SIMPLIFY_0_PROD_IS_SIMPLE   (1<<24)

Definition at line 557 of file model-inline.h.

#define SIMPLIFY_0_SUM_IS_SIMPLE   (1<<24)

Definition at line 554 of file model-inline.h.

---