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

Data Fields

entity func
 
int stat_nb
 
struct callst * succ
 

Detailed Description

Definition at line 3147 of file xml_prettyprinter.c.

Field Documentation

◆ func

entity callst::func

Definition at line 3149 of file xml_prettyprinter.c.

Referenced by cumul_and_update_effects_of_statement(), same_callst_p(), xml_Argument(), xml_AssignArgument(), xml_Chain_Graph(), and xml_TaskParameter().

◆ stat_nb

int callst::stat_nb

Definition at line 3150 of file xml_prettyprinter.c.

Referenced by cumul_and_update_effects_of_statement(), same_callst_p(), xml_Argument(), xml_AssignArgument(), xml_Chain_Graph(), and xml_TaskParameter().

◆ succ

struct callst* callst::succ

Definition at line 3151 of file xml_prettyprinter.c.

Referenced by cumul_and_update_effects_of_statement(), update_def_into_tasks_table(), xml_Argument(), xml_AssignArgument(), xml_Chain_Graph(), and xml_TaskParameter().

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