type cell that contains all information for the reindexation of More...
Collaboration diagram for scell:
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... | |
Detailed Description
type cell that contains all information for the reindexation of
an instruction. Filled during function prepare_reindexing().
Field Documentation
◆ Bmat
◆ Bmat_inv
| 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().
◆ con_base
| 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().
◆ domain
| 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().
◆ edge_dom
| predicate scell::edge_dom |
◆ lomega
| list scell::lomega |
Definition at line 131 of file cell.c.
Referenced by build_third_comb(), calculate_delay(), and make_array_bounds().
◆ lp
| 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().
◆ lt
| 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().
◆ ltau
| 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().
◆ Nbounds
| Psysteme scell::Nbounds |
list of variable tau created
Definition at line 136 of file cell.c.
Referenced by build_third_comb().
◆ Nindices
| 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().
◆ p_topology
| 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().
◆ Rbase_out
| Pbase scell::Rbase_out |
Definition at line 118 of file cell.c.
Referenced by make_reindex().
◆ Rmat
| Pmatrix scell::Rmat |
Definition at line 126 of file cell.c.
Referenced by make_reindex().
◆ Rmat_inv
| 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().
◆ Smat
| Pmatrix scell::Smat |
(i) = Rmat_inv(to) + Smat_inv(n)
Definition at line 128 of file cell.c.
Referenced by make_reindex().
◆ Smat_inv
| 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().
◆ statement
| 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().
◆ succ
| 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().
◆ t_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().
◆ Tbase_out
| Pbase scell::Tbase_out |
Definition at line 119 of file cell.c.
Referenced by build_third_comb(), and include_trans_on_LC_in_sc().
◆ Tmat
◆ Tmat_inv
| 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().
◆ var_base
| 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().
The documentation for this struct was generated from the following file:
- pips/src/Libs/reindexing/cell.c
