| << TypeNested |
| TypeMap >> |
|
The value must be a ValueCompound, i.e., a list, vector or application. But no maps.
In CRL2 file syntax, this type is called
vector
Immediate super class: TypeNested
Immediate sub classes: TypeVector, TypeTuple
| int | Object:: | class_id |
| int | Object:: | heap_sig |
| int | Object:: | ref_count |
| UserData | Object:: | user_data |
| TypeCompound * | CrlObject:: | as_TypeCompound | () | |
| TypeCompound const * | CrlObject:: | as_TypeCompound | () const | |
| TypeCompound * | CrlObject:: | cast_TypeCompound | () | |
| TypeCompound const * | CrlObject:: | cast_TypeCompound | () const |
| Generated by erwin-cgen | © AbsInt Angewandte Informatik GmbH |