libutap  0.93
Uppaal Timed Automata Parser
UTAP::type_t Member List

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_tstatic
createFunction(type_t, const std::vector< type_t > &, const std::vector< std::string > &, position_t=position_t())UTAP::type_tstatic
createInstance(frame_t, position_t=position_t())UTAP::type_tstatic
createLabel(const std::string &, position_t=position_t()) constUTAP::type_t
createLscInstance(frame_t, position_t=position_t())UTAP::type_tstatic
createPosition(position_t=position_t()) constUTAP::type_t
createPrefix(Constants::kind_t kind, position_t=position_t()) constUTAP::type_t
createPrimitive(Constants::kind_t, position_t=position_t())UTAP::type_tstatic
createProcess(frame_t, position_t=position_t())UTAP::type_tstatic
createProcessSet(type_t instance, position_t=position_t())UTAP::type_tstatic
createRange(type_t, expression_t, expression_t, position_t=position_t())UTAP::type_tstatic
createRecord(const std::vector< type_t > &, const std::vector< std::string > &, position_t=position_t())UTAP::type_tstatic
createTypeDef(const std::string &, type_t, position_t=position_t())UTAP::type_tstatic
findIndexOf(const std::string &) constUTAP::type_t
get(uint32_t) constUTAP::type_t
getArraySize() constUTAP::type_t
getExpression() constUTAP::type_t
getKind() constUTAP::type_t
getLabel(uint32_t) constUTAP::type_t
getPosition() constUTAP::type_t
getRange() constUTAP::type_t
getRecordLabel(size_t i) constUTAP::type_t
getRecordSize() constUTAP::type_t
getSub() constUTAP::type_t
getSub(size_t) constUTAP::type_t
is(Constants::kind_t kind) constUTAP::type_t
isArray() constUTAP::type_tinline
isBoolean() constUTAP::type_tinline
isBranchpoint() constUTAP::type_tinline
isChannel() constUTAP::type_tinline
isClock() constUTAP::type_tinline
isConstant() constUTAP::type_t
isConstraint() constUTAP::type_t
isCost() constUTAP::type_tinline
isDiff() constUTAP::type_tinline
isDouble() constUTAP::type_tinline
isFormula() constUTAP::type_t
isFunction() constUTAP::type_tinline
isGuard() constUTAP::type_t
isInstanceLine() constUTAP::type_tinline
isInteger() constUTAP::type_tinline
isIntegral() constUTAP::type_t
isInvariant() constUTAP::type_t
isLocation() constUTAP::type_tinline
isNonConstant() constUTAP::type_t
isPrefix() constUTAP::type_t
isProcess() constUTAP::type_tinline
isProcessSet() constUTAP::type_tinline
isRange() constUTAP::type_tinline
isRecord() constUTAP::type_tinline
isScalar() constUTAP::type_tinline
isVoid() constUTAP::type_tinline
operator!=(const type_t &) constUTAP::type_t
operator<(const type_t &) constUTAP::type_t
operator=(const type_t &)UTAP::type_t
operator==(const type_t &) constUTAP::type_t
operator[](uint32_t) constUTAP::type_t
rename(const std::string &from, const std::string &to) constUTAP::type_t
size() constUTAP::type_t
strip() constUTAP::type_t
stripArray() constUTAP::type_t
subst(symbol_t symbol, expression_t expr) constUTAP::type_t
toDeclarationString() constUTAP::type_t
toString() constUTAP::type_t
type_t()UTAP::type_tinline
type_t(const type_t &)UTAP::type_t
unknown() constUTAP::type_t
~type_t()UTAP::type_tinline