Code-generator with abstract types and operations. More...
Go to the source code of this file.
Classes | |
| class | CodePrimitives |
| Execution semantics in terms of code primitives. More... | |
| class | CodePrimitives::AA |
| Abstract address; see also Absstract_Addresses. More... | |
| class | CodePrimitives::AX |
| Abstract expression; see also Absstract_Addresses. More... | |
| struct | CodePrimitives::bitarray_rec |
| Record declared bit-arrays. More... | |
| struct CodePrimitives::bitarray_rec |
Record in support of the CodePrimitives implementation of arrays-of-bits
Definition at line 873 of file cgp_codeprimitives.h.
| Class Members | ||
|---|---|---|
| int | blen | length in bits |
| vector< bool > | value | initialisation value |