- Generated by
1.8.13
|
libutap
0.93
Uppaal Timed Automata Parser
|
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_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 |
| createDouble(double, position_t=position_t()) | UTAP::expression_t | static |
| createExit(position_t=position_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 |
| 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 | inline |
| 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_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 | |
| 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 |
1.8.13