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

Data Fields

int nb
 
Psysteme sys
 
struct sys_list * next
 

Detailed Description

Definition at line 99 of file makebdt.c.

Field Documentation

◆ nb

int sys_list::nb

Definition at line 100 of file makebdt.c.

◆ next

struct sys_list* sys_list::next

Definition at line 102 of file makebdt.c.

Referenced by add_elt_to_sys_list(), fprint_sys_list(), and get_unsatisfied_system().

◆ sys

Psysteme sys_list::sys

Definition at line 101 of file makebdt.c.

Referenced by analyze_quast(), fprint_sys_list(), get_predicate_system_of_node(), get_unsatisfied_system(), include_parameters_in_sc(), include_results_in_bdt(), include_trans_in_sc(), search_scc_bdt(), and system_new_var_subst().

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