expressionbuilder.cpp File Reference

#include <vector>
#include <climits>
#include <cmath>
#include <cstdio>
#include <cassert>
#include <inttypes.h>
#include <boost/format.hpp>
#include "utap/expressionbuilder.h"

Defines
#define	defaultIntMin   -0x7FFF
#define	defaultIntMax   0x7FFF
Functions
static void	collectDependencies (std::set< symbol_t > &dependencies, expression_t expr)

---

Define Documentation

#define defaultIntMax   0x7FFF

#define defaultIntMin   -0x7FFF

---

Function Documentation

static void collectDependencies	(	std::set< symbol_t > &	dependencies,
		expression_t	expr
	)			[static]

---