cgp_codeprimitives.h File Reference

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

Detailed Description

Definition in file cgp_codeprimitives.h.

#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

struct CodePrimitives::bitarray_rec

Class Members
int	blen
vector< bool >	value