UTAP::expression_t Member List

This is the complete list of members for UTAP::expression_t, including all inherited members.

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


Generated on Thu Feb 22 14:46:52 2007 for libutap by  doxygen 1.4.7