changesAnyVariable() const | UTAP::expression_t | |
changesVariable(const std::set< symbol_t > &) const | UTAP::expression_t | |
clone() const | UTAP::expression_t | |
collectPossibleReads(std::set< symbol_t > &) const | UTAP::expression_t | |
collectPossibleWrites(std::set< symbol_t > &) const | UTAP::expression_t | |
createBinary(Constants::kind_t, expression_t, expression_t, position_t=position_t(), type_t=type_t()) | UTAP::expression_t | [static] |
createConstant(int32_t, position_t=position_t()) | UTAP::expression_t | [static] |
createDeadlock(position_t=position_t()) | UTAP::expression_t | [static] |
createDot(expression_t, int32_t=-1, position_t=position_t(), type_t=type_t()) | UTAP::expression_t | [static] |
createIdentifier(symbol_t, position_t=position_t()) | UTAP::expression_t | [static] |
createNary(Constants::kind_t, const std::vector< expression_t > &, position_t=position_t(), type_t=type_t()) | UTAP::expression_t | [static] |
createSync(expression_t, Constants::synchronisation_t, position_t=position_t()) | UTAP::expression_t | [static] |
createTernary(Constants::kind_t, expression_t, expression_t, expression_t, position_t=position_t(), type_t=type_t()) | UTAP::expression_t | [static] |
createUnary(Constants::kind_t, expression_t, position_t=position_t(), type_t=type_t()) | 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 | |
getPrecedence(Constants::kind_t) | UTAP::expression_t | [static] |
getSize() const | UTAP::expression_t | |
getSymbol() | UTAP::expression_t | |
getSymbol() const | UTAP::expression_t | |
getSymbols(std::set< symbol_t > &symbols) 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) const | UTAP::expression_t | |
operator=(const expression_t &) | UTAP::expression_t | |
operator==(const expression_t) const | UTAP::expression_t | |
operator[](uint32_t) | UTAP::expression_t | |
operator[](uint32_t) const | UTAP::expression_t | |
setType(type_t) | UTAP::expression_t | |
subst(symbol_t, expression_t) const | UTAP::expression_t | |
toString(bool old=false) const | UTAP::expression_t | |
~expression_t() | UTAP::expression_t | |