CBMC
Static Public Member Functions | List of all members
struct_aggregate_typet Struct Reference

#include <abstract_aggregate_object.h>

Static Public Member Functions

static const irep_idt & TYPE_ID ()
 
static const irep_idt & ACCESS_EXPR_ID ()
 
static const typet & read_type (const typet &expr_type, const typet &)
 
static void get_statistics (abstract_object_statisticst &statistics, abstract_object_visitedt &visited, const abstract_environmentt &env, const namespacet &ns)
 

Detailed Description

Definition at line 191 of file abstract_aggregate_object.h.

Member Function Documentation

◆ ACCESS_EXPR_ID()

static const irep_idt& struct_aggregate_typet::ACCESS_EXPR_ID ( )
inlinestatic

Definition at line 197 of file abstract_aggregate_object.h.

◆ get_statistics()

static void struct_aggregate_typet::get_statistics ( abstract_object_statisticst &  statistics,
abstract_object_visitedt &  visited,
const abstract_environmentt &  env,
const namespacet &  ns 
)
inlinestatic

Definition at line 206 of file abstract_aggregate_object.h.

◆ read_type()

static const typet& struct_aggregate_typet::read_type ( const typet &  expr_type,
const typet &   
)
inlinestatic

Definition at line 201 of file abstract_aggregate_object.h.

◆ TYPE_ID()

static const irep_idt& struct_aggregate_typet::TYPE_ID ( )
inlinestatic

Definition at line 193 of file abstract_aggregate_object.h.

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