cprover
require_goto_statements::pointer_assignment_locationt Struct Reference

#include <require_goto_statements.h>

Collaboration diagram for require_goto_statements::pointer_assignment_locationt:
[legend]

Public Attributes

optionalt< code_assigntnull_assignment
 
std::vector< code_assigntnon_null_assignments
 

Detailed Description

Definition at line 27 of file require_goto_statements.h.

Member Data Documentation

◆ non_null_assignments

◆ null_assignment


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