goto_expr_factory.h File Reference

#include "goto-symex/equation/symex_target_equation.h"

Include dependency graph for goto_expr_factory.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
expr2tc	create_value_expr (int value, const type2tc &type)
	Create a constant_int expression.
expr2tc	create_lessthanequal_relation (expr2tc &lhs, expr2tc &rhs)
	Create a lessthanequal expression of the form LHS <= RHS The comparation will use LHS for typecast.
expr2tc	create_greaterthanequal_relation (expr2tc &lhs, expr2tc &rhs)
	Create a lessthanequal expression of the form LHS <= RHS The comparation will use LHS for typecast.

Function Documentation

create_greaterthanequal_relation()

expr2tc create_greaterthanequal_relation	(	expr2tc &	lhs,
		expr2tc &	rhs )

Create a lessthanequal expression of the form LHS <= RHS The comparation will use LHS for typecast.

Parameters

lhs	left operator
rhs	right operator

Returns

int negative means error, positive is the quantity to unroll

create_lessthanequal_relation()

expr2tc create_lessthanequal_relation	(	expr2tc &	lhs,
		expr2tc &	rhs )

Create a lessthanequal expression of the form LHS <= RHS The comparation will use LHS for typecast.

Parameters

lhs	left operator
rhs	right operator

Returns

int negative means error, positive is the quantity to unroll

create_value_expr()

expr2tc create_value_expr	(	int	value,
		const type2tc &	type )

Create a constant_int expression.

Parameters

value	numeric value of the constant
type	type of the expression

Returns

int negative means error, positive is the quantity to unroll