PIPS
|
type cell that contains all information for the reindexation of More...
Data Fields | |
int | statement |
predicate | domain |
number of the node More... | |
predicate | edge_dom |
complete domain of the bdt More... | |
Pbase | var_base |
predicate of the schedule More... | |
Pbase | con_base |
(to) = Rmat(i) + Smat(n) More... | |
Pbase | Rbase_out |
Pbase | Tbase_out |
Pmatrix | Tmat |
Pmatrix | Tmat_inv |
(t) = Tmat(i) + Bmat(n) More... | |
Pmatrix | Bmat |
(i) = Tmat_inv(t) + Bmat_inv(n) More... | |
Pmatrix | Bmat_inv |
Pmatrix | Rmat |
Pmatrix | Rmat_inv |
(to) = Rmat (i) + Smat More... | |
Pmatrix | Smat |
(i) = Rmat_inv(to) + Smat_inv(n) More... | |
Pmatrix | Smat_inv |
list | lomega |
list | lp |
list of the period(s) of bdt More... | |
list | lt |
list of variable p created More... | |
list | ltau |
list of variable t created More... | |
Psysteme | Nbounds |
list of variable tau created More... | |
Pbase | Nindices |
new systeme of bounds in (t,p,..) More... | |
Psyslist | t_bounds |
list of the new indices More... | |
Psyslist | p_topology |
bounds of global time for the ins More... | |
struct scell * | succ |
topology of the plc in function of t More... | |
type cell that contains all information for the reindexation of
an instruction. Filled during function prepare_reindexing().
Pmatrix scell::Bmat_inv |
Definition at line 124 of file cell.c.
Referenced by include_trans_on_LC_in_sc(), and include_trans_on_LC_in_sc2().
Pbase scell::con_base |
(to) = Rmat(i) + Smat(n)
Definition at line 117 of file cell.c.
Referenced by build_third_comb(), include_trans_on_LC_in_ref(), include_trans_on_LC_in_sc(), include_trans_on_LC_in_sc2(), and make_reindex().
predicate scell::domain |
number of the node
Definition at line 113 of file cell.c.
Referenced by build_third_comb(), build_third_subcomb(), and compatible_pc_p().
predicate scell::edge_dom |
list scell::lomega |
Definition at line 131 of file cell.c.
Referenced by build_third_comb(), calculate_delay(), and make_array_bounds().
list scell::lp |
list of the period(s) of bdt
Definition at line 132 of file cell.c.
Referenced by build_first_comb(), build_third_comb(), and prepare_array_bounds().
list scell::lt |
list of variable p created
Definition at line 133 of file cell.c.
Referenced by build_third_comb(), and prepare_array_bounds().
list scell::ltau |
list of variable t created
Definition at line 134 of file cell.c.
Referenced by build_first_comb(), build_third_comb(), make_array_bounds(), make_reindex(), and re_do_it().
Psysteme scell::Nbounds |
list of variable tau created
Definition at line 136 of file cell.c.
Referenced by build_third_comb().
Pbase scell::Nindices |
new systeme of bounds in (t,p,..)
Definition at line 137 of file cell.c.
Referenced by build_first_comb(), build_third_comb(), calculate_delay(), and include_trans_on_LC_in_ref().
Psyslist scell::p_topology |
bounds of global time for the ins
Definition at line 139 of file cell.c.
Referenced by build_first_comb(), and prepare_array_bounds().
Pbase scell::Rbase_out |
Definition at line 118 of file cell.c.
Referenced by make_reindex().
Pmatrix scell::Rmat |
Definition at line 126 of file cell.c.
Referenced by make_reindex().
Pmatrix scell::Rmat_inv |
(to) = Rmat (i) + Smat
Definition at line 127 of file cell.c.
Referenced by build_third_comb(), include_trans_on_LC_in_ref(), and make_reindex().
Pmatrix scell::Smat |
(i) = Rmat_inv(to) + Smat_inv(n)
Definition at line 128 of file cell.c.
Referenced by make_reindex().
Pmatrix scell::Smat_inv |
Definition at line 129 of file cell.c.
Referenced by build_third_comb(), include_trans_on_LC_in_ref(), and make_reindex().
int scell::statement |
Definition at line 112 of file cell.c.
Referenced by build_third_comb(), calculate_delay(), compatible_pc_p(), and prepare_array_bounds().
struct scell* scell::succ |
topology of the plc in function of t
Definition at line 141 of file cell.c.
Referenced by build_first_comb(), make_reindex(), and prepare_array_bounds().
Psyslist scell::t_bounds |
list of the new indices
Definition at line 138 of file cell.c.
Referenced by build_first_comb(), build_third_comb(), calculate_delay(), and prepare_array_bounds().
Pbase scell::Tbase_out |
Definition at line 119 of file cell.c.
Referenced by build_third_comb(), and include_trans_on_LC_in_sc().
Pmatrix scell::Tmat_inv |
(t) = Tmat(i) + Bmat(n)
Definition at line 122 of file cell.c.
Referenced by include_trans_on_LC_in_sc(), and include_trans_on_LC_in_sc2().
Pbase scell::var_base |
predicate of the schedule
Definition at line 116 of file cell.c.
Referenced by build_third_comb(), include_trans_on_LC_in_ref(), include_trans_on_LC_in_sc(), include_trans_on_LC_in_sc2(), and make_reindex().