model.hpp File Reference
#include <api_exception.h>
Go to the source code of this file.
Detailed Description
Definition in file model.hpp.
Define Documentation
#define delnodes_insert |
( |
N |
|
) |
|
Value:
do {\
std::vector<unsigned int>::iterator __x = \
lower_bound((*delnodes).begin(), (*delnodes).end(), (unsigned int)(N)); \
if(__x == (*delnodes).end() || *__x != (unsigned int)(N)) \
(*delnodes).insert(__x, (unsigned int)(N)); \
} while(0)
Definition at line 35 of file model.hpp.
#define SIMPLIFY_0_CONST_IS_EQUATION (1<<25) |
#define SIMPLIFY_0_CONST_IS_INTEGER (1<<24) |
#define SIMPLIFY_0_IS_CONST 1 |
#define SIMPLIFY_0_IS_CORRECTEDMULT (1<<5) |
#define SIMPLIFY_0_IS_GHOST (1<<31) |
#define SIMPLIFY_0_IS_MULTIPLICATIVE (1<<4) |
#define SIMPLIFY_0_IS_PROD (1<<3) |
#define SIMPLIFY_0_IS_SUM (1<<2) |
#define SIMPLIFY_0_IS_VAR (1<<1) |
#define SIMPLIFY_0_PROD_IS_SIMPLE (1<<24) |
#define SIMPLIFY_0_SKIP_THIS_NODE (1<<30) |
#define SIMPLIFY_0_SUM_IS_SIMPLE (1<<24) |