simplify_expr_int.cpp File Reference

#include "simplify_expr_class.h"
#include "arith_tools.h"
#include "bitvector_expr.h"
#include "c_types.h"
#include "config.h"
#include "expr_util.h"
#include "fixedbv.h"
#include "ieee_float.h"
#include "invariant.h"
#include "mathematical_expr.h"
#include "mathematical_types.h"
#include "namespace.h"
#include "pointer_expr.h"
#include "pointer_offset_size.h"
#include "rational.h"
#include "rational_tools.h"
#include "simplify_utils.h"
#include "std_expr.h"
#include "threeval.h"
#include <algorithm>

Include dependency graph for simplify_expr_int.cpp:

Go to the source code of this file.

Macros
#define	NORMALISE_CONSTANT_TESTS

Functions
static bool	sum_expr (constant_exprt &dest, const constant_exprt &expr)
	produce a sum of two constant expressions of the same type More...
static bool	mul_expr (constant_exprt &dest, const constant_exprt &expr)
	produce a product of two expressions of the same type More...
static bool	eliminate_common_addends (exprt &op0, exprt &op1)

Macro Definition Documentation

NORMALISE_CONSTANT_TESTS

#define NORMALISE_CONSTANT_TESTS

Function Documentation

eliminate_common_addends()

static bool eliminate_common_addends ( exprt &  op0, exprt &  op1  )

static

Definition at line 1557 of file simplify_expr_int.cpp.

mul_expr()

static bool mul_expr ( constant_exprt &  dest, const constant_exprt &  expr  )

static

produce a product of two expressions of the same type

Returns

'false' iff this was successful

Definition at line 116 of file simplify_expr_int.cpp.

sum_expr()

static bool sum_expr ( constant_exprt &  dest, const constant_exprt &  expr  )

static

produce a sum of two constant expressions of the same type

Returns

'false' iff this was successful

Definition at line 67 of file simplify_expr_int.cpp.