CompileDES  3.12
Executable-Code Generation from Synchronised libFAUDES Automata
cgp_codeprimitives.h File Reference

Code-generator with abstract types and operations. More...

#include "libfaudes.h"
#include "cgp_codegenerator.h"

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...
 

Class Documentation

◆ CodePrimitives::bitarray_rec

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