PIPS
Data Fields
recursive_context Struct Reference
+ Collaboration diagram for recursive_context:

Data Fields

bool pcond
 
control_mapping smap
 

Detailed Description

Definition at line 1776 of file unstructured.c.

Field Documentation

◆ pcond

bool recursive_context::pcond

Definition at line 1777 of file unstructured.c.

Referenced by local_process_unreachable_node().

◆ smap

control_mapping recursive_context::smap

Definition at line 1778 of file unstructured.c.

Referenced by local_process_unreachable_node(), node_to_path_transformer_or_postcondition(), and print_cycle_head_to_fixpoint().

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