std_expr.cpp File Reference

#include "std_expr.h"
#include <util/namespace.h>
#include <cassert>
#include "arith_tools.h"
#include "byte_operators.h"
#include "c_types.h"
#include "pointer_offset_size.h"

Include dependency graph for std_expr.cpp:

Go to the source code of this file.

Functions
exprt	disjunction (const exprt::operandst &op)
	1) generates a disjunction for two or more operands 2) for one operand, returns the operand 3) returns false otherwise More...
exprt	conjunction (const exprt::operandst &op)
	1) generates a conjunction for two or more operands 2) for one operand, returns the operand 3) returns true otherwise More...
static void	build_object_descriptor_rec (const namespacet &ns, const exprt &expr, object_descriptor_exprt &dest)
	Build an object_descriptor_exprt from a given expr. More...
template<typename T >
auto	component (T &struct_expr, const irep_idt &name, const namespacet &ns) -> decltype(struct_expr.op0())

Function Documentation

build_object_descriptor_rec()

static void build_object_descriptor_rec ( const namespacet &  ns, const exprt &  expr, object_descriptor_exprt &  dest  )

static

Build an object_descriptor_exprt from a given expr.

Definition at line 65 of file std_expr.cpp.

component()

template<typename T >

auto component	(	T &	struct_expr,
		const irep_idt &	name,
		const namespacet &	ns
	)		-> decltype(struct_expr.op0())

Definition at line 173 of file std_expr.cpp.

conjunction()

exprt conjunction

(

const exprt::operandst &

op

)

1) generates a conjunction for two or more operands 2) for one operand, returns the operand 3) returns true otherwise

Definition at line 50 of file std_expr.cpp.

disjunction()

exprt disjunction

(

const exprt::operandst &

op

)

1) generates a disjunction for two or more operands 2) for one operand, returns the operand 3) returns false otherwise

Definition at line 26 of file std_expr.cpp.