libutap
Macros | Functions
expressionbuilder.cpp File Reference
#include <vector>
#include <climits>
#include <cmath>
#include <cstdio>
#include <cassert>
#include <inttypes.h>
#include <string.h>
#include <boost/format.hpp>
#include "utap/expressionbuilder.h"

Macros

#define defaultIntMin   -0x7FFF
 
#define defaultIntMax   0x7FFF
 

Functions

bool isMITL (expression_t e)
 
expression_t toMITLAtom (expression_t e)
 
static void collectDependencies (std::set< symbol_t > &dependencies, expression_t expr)
 

Macro Definition Documentation

#define defaultIntMax   0x7FFF
#define defaultIntMin   -0x7FFF

Function Documentation

static void collectDependencies ( std::set< symbol_t > &  dependencies,
expression_t  expr 
)
static
bool isMITL ( expression_t  e)
expression_t toMITLAtom ( expression_t  e)