cprover
Loading...
Searching...
No Matches
expr.cpp File Reference

Expression Representation. More...

#include "arith_tools.h"
#include "bitvector_types.h"
#include "expr_iterator.h"
#include "expr_util.h"
#include "fixedbv.h"
#include "ieee_float.h"
#include "rational.h"
#include "rational_tools.h"
#include "std_expr.h"
#include <stack>
Include dependency graph for expr.cpp:

Go to the source code of this file.

Functions

template<typename T>
void visit_post_template (std::function< void(T &)> visitor, T *_expr)
template<typename T>
static void visit_pre_template (std::function< void(T &)> visitor, T *_expr)

Detailed Description

Expression Representation.

Definition in file expr.cpp.

Function Documentation

◆ visit_post_template()

template<typename T>
void visit_post_template ( std::function< void(T &)> visitor,
T * _expr )

Definition at line 165 of file expr.cpp.

◆ visit_pre_template()

template<typename T>
void visit_pre_template ( std::function< void(T &)> visitor,
T * _expr )
static

Definition at line 209 of file expr.cpp.