CBMC: /home/runner/work/cbmc/cbmc/src/util/simplify_expr_int.cpp File Reference

CBMC

Loading...

Searching...

No Matches

Macros | Functions

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

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

produce a product of two expressions of the same type

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 1590 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 117 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.