cprover
Loading...
Searching...
No Matches
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.