|
libutap
0.93
Uppaal Timed Automata Parser
|
This is the complete list of members for UTAP::type_t, including all inherited members.
| createArray(type_t sub, type_t size, position_t=position_t()) | UTAP::type_t | static |
| createFunction(type_t, const std::vector< type_t > &, const std::vector< std::string > &, position_t=position_t()) | UTAP::type_t | static |
| createInstance(frame_t, position_t=position_t()) | UTAP::type_t | static |
| createLabel(const std::string &, position_t=position_t()) const | UTAP::type_t | |
| createLscInstance(frame_t, position_t=position_t()) | UTAP::type_t | static |
| createPosition(position_t=position_t()) const | UTAP::type_t | |
| createPrefix(Constants::kind_t kind, position_t=position_t()) const | UTAP::type_t | |
| createPrimitive(Constants::kind_t, position_t=position_t()) | UTAP::type_t | static |
| createProcess(frame_t, position_t=position_t()) | UTAP::type_t | static |
| createProcessSet(type_t instance, position_t=position_t()) | UTAP::type_t | static |
| createRange(type_t, expression_t, expression_t, position_t=position_t()) | UTAP::type_t | static |
| createRecord(const std::vector< type_t > &, const std::vector< std::string > &, position_t=position_t()) | UTAP::type_t | static |
| createTypeDef(const std::string &, type_t, position_t=position_t()) | UTAP::type_t | static |
| findIndexOf(const std::string &) const | UTAP::type_t | |
| get(uint32_t) const | UTAP::type_t | |
| getArraySize() const | UTAP::type_t | |
| getExpression() const | UTAP::type_t | |
| getKind() const | UTAP::type_t | |
| getLabel(uint32_t) const | UTAP::type_t | |
| getPosition() const | UTAP::type_t | |
| getRange() const | UTAP::type_t | |
| getRecordLabel(size_t i) const | UTAP::type_t | |
| getRecordSize() const | UTAP::type_t | |
| getSub() const | UTAP::type_t | |
| getSub(size_t) const | UTAP::type_t | |
| is(Constants::kind_t kind) const | UTAP::type_t | |
| isArray() const | UTAP::type_t | inline |
| isBoolean() const | UTAP::type_t | inline |
| isBranchpoint() const | UTAP::type_t | inline |
| isChannel() const | UTAP::type_t | inline |
| isClock() const | UTAP::type_t | inline |
| isConstant() const | UTAP::type_t | |
| isConstraint() const | UTAP::type_t | |
| isCost() const | UTAP::type_t | inline |
| isDiff() const | UTAP::type_t | inline |
| isDouble() const | UTAP::type_t | inline |
| isFormula() const | UTAP::type_t | |
| isFunction() const | UTAP::type_t | inline |
| isGuard() const | UTAP::type_t | |
| isInstanceLine() const | UTAP::type_t | inline |
| isInteger() const | UTAP::type_t | inline |
| isIntegral() const | UTAP::type_t | |
| isInvariant() const | UTAP::type_t | |
| isLocation() const | UTAP::type_t | inline |
| isNonConstant() const | UTAP::type_t | |
| isPrefix() const | UTAP::type_t | |
| isProcess() const | UTAP::type_t | inline |
| isProcessSet() const | UTAP::type_t | inline |
| isRange() const | UTAP::type_t | inline |
| isRecord() const | UTAP::type_t | inline |
| isScalar() const | UTAP::type_t | inline |
| isVoid() const | UTAP::type_t | inline |
| operator!=(const type_t &) const | UTAP::type_t | |
| operator<(const type_t &) const | UTAP::type_t | |
| operator=(const type_t &) | UTAP::type_t | |
| operator==(const type_t &) const | UTAP::type_t | |
| operator[](uint32_t) const | UTAP::type_t | |
| rename(const std::string &from, const std::string &to) const | UTAP::type_t | |
| size() const | UTAP::type_t | |
| strip() const | UTAP::type_t | |
| stripArray() const | UTAP::type_t | |
| subst(symbol_t symbol, expression_t expr) const | UTAP::type_t | |
| toDeclarationString() const | UTAP::type_t | |
| toString() const | UTAP::type_t | |
| type_t() | UTAP::type_t | inline |
| type_t(const type_t &) | UTAP::type_t | |
| unknown() const | UTAP::type_t | |
| ~type_t() | UTAP::type_t | inline |