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(std::string, position_t=position_t()) const | UTAP::type_t | |
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(std::string, type_t, position_t=position_t()) | UTAP::type_t | [static] |
findIndexOf(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] |
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] |
isFormula() const | UTAP::type_t | |
isFunction() const | UTAP::type_t | [inline] |
isGuard() const | UTAP::type_t | |
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] |
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(std::string from, 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 | |
toString() const | UTAP::type_t | |
type_t() | UTAP::type_t | |
type_t(const type_t &) | UTAP::type_t | |
unknown() const | UTAP::type_t | |
~type_t() | UTAP::type_t | |