cprover
designatort::entryt Struct Reference

#include <designator.h>

Collaboration diagram for designatort::entryt:
[legend]

Public Member Functions

 entryt (const typet &type)
 

Public Attributes

size_t index
 
size_t size
 
bool vla_permitted
 
typet type
 
typet subtype
 

Detailed Description

Definition at line 23 of file designator.h.

Constructor & Destructor Documentation

§ entryt()

designatort::entryt::entryt ( const typet type)
inlineexplicit

Definition at line 30 of file designator.h.

Member Data Documentation

§ index

size_t designatort::entryt::index

§ size

size_t designatort::entryt::size

§ subtype

§ type

typet designatort::entryt::type

§ vla_permitted

bool designatort::entryt::vla_permitted

The documentation for this struct was generated from the following file: