#include <paf_ri.h>
Definition at line 330 of file paf_ri.h.
◆ _dataflow_communication_
governing_pred:predicate
Definition at line 335 of file paf_ri.h.
◆ _dataflow_governing_pred_
predicate _newgen_struct_dataflow_::_dataflow_governing_pred_ |
transformation:expression*
Definition at line 334 of file paf_ri.h.
◆ _dataflow_reference_
reference _newgen_struct_dataflow_::_dataflow_reference_ |
◆ _dataflow_transformation_
list _newgen_struct_dataflow_::_dataflow_transformation_ |
reference:reference
Definition at line 333 of file paf_ri.h.
◆ _type_
intptr_t _newgen_struct_dataflow_::_type_ |
The documentation for this struct was generated from the following file: