std_expr.cpp File Reference

#include "std_expr.h"
#include "config.h"
#include "namespace.h"
#include "pointer_expr.h"
#include "range.h"
#include "substitute_symbols.h"
#include <map>

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
exprt	conjunction (exprt a, exprt b)
	Conjunction of two expressions.
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
template<typename T >
auto	component (T &struct_expr, const irep_idt &name, const namespacet &ns) -> decltype(struct_expr.op0())

Function Documentation

component()

template<typename T >

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

Definition at line 122 of file std_expr.cpp.

conjunction() [1/2]

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 106 of file std_expr.cpp.

conjunction() [2/2]

exprt conjunction	(	exprt	a,
		exprt	b
	)

Conjunction of two expressions.

If the second is already an and_exprt add to its operands instead of creating a new expression. If one is true, return the other expression. If one is false returns false.

Definition at line 83 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 71 of file std_expr.cpp.