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 |