libutap
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 > &, bool collectRandom=false) 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_tstatic
createConstant(int32_t, position_t=position_t())UTAP::expression_tstatic
createDeadlock(position_t=position_t())UTAP::expression_tstatic
createDot(expression_t, int32_t=-1, position_t=position_t(), type_t=type_t())UTAP::expression_tstatic
createDouble(double, position_t=position_t())UTAP::expression_tstatic
createExit(position_t=position_t())UTAP::expression_tstatic
createIdentifier(symbol_t, position_t=position_t())UTAP::expression_tstatic
createNary(Constants::kind_t, const std::vector< expression_t > &, position_t=position_t(), type_t=type_t())UTAP::expression_tstatic
createSync(expression_t, Constants::synchronisation_t, position_t=position_t())UTAP::expression_tstatic
createTernary(Constants::kind_t, expression_t, expression_t, expression_t, position_t=position_t(), type_t=type_t())UTAP::expression_tstatic
createUnary(Constants::kind_t, expression_t, position_t=position_t(), type_t=type_t())UTAP::expression_tstatic
deeperClone() const UTAP::expression_t
deeperClone(symbol_t from, symbol_t to) const UTAP::expression_t
deeperClone(frame_t frame, frame_t select=frame_t()) const UTAP::expression_t
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
getDoubleValue() 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_tstatic
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
hasDynamicSub() const UTAP::expression_t
isDynamic() const UTAP::expression_t
isReferenceTo(const std::set< symbol_t > &) const UTAP::expression_t
isTrue() 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
usesClock() const UTAP::expression_t
usesFP() const UTAP::expression_t
~expression_t()UTAP::expression_t