changesVariable(const std::set< symbol_t > &) const | UTAP::expression_t | |
collectPossibleWrites(std::set< symbol_t > &) const | UTAP::expression_t | |
createBinary(const position_t &, Constants::kind_t, expression_t, expression_t, type_t=type_t::UNKNOWN) | UTAP::expression_t | [static] |
createConstant(const position_t &, int32_t) | UTAP::expression_t | [static] |
createDeadlock(const position_t &) | UTAP::expression_t | [static] |
createDot(const position_t &, expression_t, int32_t=-1, type_t=type_t::UNKNOWN) | UTAP::expression_t | [static] |
createIdentifier(const position_t &, symbol_t) | UTAP::expression_t | [static] |
createNary(const position_t &, Constants::kind_t, const std::vector< expression_t > &, type_t=type_t::UNKNOWN) | UTAP::expression_t | [static] |
createSync(const position_t &, expression_t, Constants::synchronisation_t) | UTAP::expression_t | [static] |
createTernary(const position_t &, Constants::kind_t, expression_t, expression_t, expression_t, type_t=type_t::UNKNOWN) | UTAP::expression_t | [static] |
createUnary(const position_t &, Constants::kind_t, expression_t, type_t=type_t::UNKNOWN) | UTAP::expression_t | [static] |
dependsOn(const std::set< symbol_t > &) const | UTAP::expression_t | |
empty() const | UTAP::expression_t | |
equal(const expression_t &) const | UTAP::expression_t | |
expression_t() | UTAP::expression_t | |
expression_t(const expression_t &) | UTAP::expression_t | |
get(uint32_t) | UTAP::expression_t | |
get(uint32_t) const | UTAP::expression_t | |
getIndex() const | UTAP::expression_t | |
getKind() const | UTAP::expression_t | |
getPosition() const | UTAP::expression_t | |
getSize() const | UTAP::expression_t | |
getSymbol() | UTAP::expression_t | |
getSymbol() const | UTAP::expression_t | |
getSync() const | UTAP::expression_t | |
getType() const | UTAP::expression_t | |
getValue() const | UTAP::expression_t | |
isReferenceTo(const std::set< symbol_t > &) const | UTAP::expression_t | |
operator=(const expression_t &) | UTAP::expression_t | |
operator[](uint32_t) | UTAP::expression_t | |
operator[](uint32_t) const | UTAP::expression_t | |
setType(type_t) | UTAP::expression_t | |
toString(bool old=false) const | UTAP::expression_t | |
~expression_t() | UTAP::expression_t | |