cprover
reaching_definitiont Struct Reference

#include <reaching_definitions.h>

Collaboration diagram for reaching_definitiont:
[legend]

Public Attributes

irep_idt identifier
 
ai_domain_baset::locationt definition_at
 
range_spect bit_begin
 
range_spect bit_end
 

Detailed Description

Definition at line 66 of file reaching_definitions.h.

Member Data Documentation

§ bit_begin

§ bit_end

§ definition_at

§ identifier

irep_idt reaching_definitiont::identifier

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