cprover
Public Member Functions | Public Attributes | List of all members
loct Struct Reference

#include <locs.h>

Collaboration diagram for loct:
[legend]

Public Member Functions

 loct (goto_programt::const_targett _target, const irep_idt &_function)
 

Public Attributes

goto_programt::const_targett target
 
irep_idt function
 
loc_reft branch_target
 

Detailed Description

Definition at line 21 of file locs.h.

Constructor & Destructor Documentation

◆ loct()

loct::loct ( goto_programt::const_targett  _target,
const irep_idt &  _function 
)
inline

Definition at line 24 of file locs.h.

Member Data Documentation

◆ branch_target

loc_reft loct::branch_target

Definition at line 36 of file locs.h.

◆ function

irep_idt loct::function

Definition at line 33 of file locs.h.

◆ target

goto_programt::const_targett loct::target

Definition at line 32 of file locs.h.

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