PIPS
|
Data Fields | |
entity | func |
int | stat_nb |
struct callst * | succ |
Definition at line 3147 of file xml_prettyprinter.c.
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().
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().
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().