expressionbuilder.cpp File Reference

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

Include dependency graph for expressionbuilder.cpp:

Go to the source code of this file.

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

Function Documentation

collectDependencies()

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

static

Definition at line 211 of file expressionbuilder.cpp.

References UTAP::expression_t::collectPossibleReads(), UTAP::variable_t::expr, and UTAP::symbol_t::getData().

Referenced by UTAP::ExpressionBuilder::typeScalar().

Here is the call graph for this function:

Here is the caller graph for this function:

isMITL()

bool isMITL

(

expression_t

e

)

Definition at line 40 of file expressionbuilder.cpp.

References UTAP::expression_t::getKind(), UTAP::Constants::MITLATOM, UTAP::Constants::MITLCONJ, UTAP::Constants::MITLDISJ, UTAP::Constants::MITLEXISTS, UTAP::Constants::MITLFORALL, UTAP::Constants::MITLFORMULA, UTAP::Constants::MITLNEXT, UTAP::Constants::MITLRELEASE, and UTAP::Constants::MITLUNTIL.

Referenced by UTAP::ExpressionBuilder::exprBinary(), UTAP::ExpressionBuilder::exprExistsDynamicEnd(), UTAP::ExpressionBuilder::exprForAllDynamicEnd(), UTAP::ExpressionBuilder::exprMitlAtom(), UTAP::ExpressionBuilder::exprMitlBox(), UTAP::ExpressionBuilder::exprMitlDiamond(), UTAP::ExpressionBuilder::exprMitlFormula(), UTAP::ExpressionBuilder::exprMitlNext(), UTAP::ExpressionBuilder::exprMitlRelease(), and UTAP::ExpressionBuilder::exprMitlUntil().

Here is the call graph for this function:

Here is the caller graph for this function:

toMITLAtom()

expression_t toMITLAtom

(

expression_t

e

)

Definition at line 53 of file expressionbuilder.cpp.

References UTAP::expression_t::createUnary(), and UTAP::Constants::MITLATOM.

Referenced by UTAP::ExpressionBuilder::exprBinary(), UTAP::ExpressionBuilder::exprMitlBox(), UTAP::ExpressionBuilder::exprMitlDiamond(), UTAP::ExpressionBuilder::exprMitlFormula(), UTAP::ExpressionBuilder::exprMitlNext(), UTAP::ExpressionBuilder::exprMitlRelease(), and UTAP::ExpressionBuilder::exprMitlUntil().

Here is the call graph for this function:

Here is the caller graph for this function: