expr.cpp File Reference

#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 183 of file expr.cpp.

visit_pre_template()

template<typename T >

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

static

Definition at line 227 of file expr.cpp.