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: