PartMC
2.6.1
|
A map , together with its multi-valued inverse.
More...
Public Attributes | |
type(integer_varray_t) | forward1 |
Forward map to first range (single valued). More... | |
type(integer_varray_t) | forward2 |
Forward map to second range (single valued). More... | |
type(integer_varray_t), dimension(:, :), allocatable | inverse |
Inverse map (multi-valued). More... | |
type(integer_varray_t) | index |
Forward map to inverse map entries (single valued). More... | |
A map , together with its multi-valued inverse.
The forward map takes an integer in the domain
to integers
in the range
. This is stored with
j_1 = integer_rmap2%forward1%entry(i)
and j_2 = integer_rmap2%forward2%entry(i)
. This map is not assumed to be one-to-one or onto.
The inverse map is multi-valued, with integer_rmap2%inverse(j_1, j_2)
containing all the inverses of . The entry numbers in the inverse map are given by
inverse_rmap%index
. The relationships between the forward and reverse maps are as follows.
Given i
, let:
j_1 = integer_rmap2%forward1%entry(i) j_2 = integer_rmap2%forward2%entry(i) k = integer_rmap2%index%entry(i)
Then:
integer_rmap2%inverse(j_1, j_2)%entry(k) == i
Alternatively, given j_1
, j_2
and k
, let:
i = integer_rmap2%inverse(j_1, j_2)%entry(k)
Then:
integer_rmap2%forward1%entry(i) == j_1 integer_rmap2%forward2%entry(i) == j_2 integer_rmap2%index%entry(i) == k
Definition at line 53 of file integer_rmap2.F90.
type(integer_varray_t) pmc_integer_rmap2::integer_rmap2_t::forward1 |
Forward map to first range (single valued).
Definition at line 55 of file integer_rmap2.F90.
type(integer_varray_t) pmc_integer_rmap2::integer_rmap2_t::forward2 |
Forward map to second range (single valued).
Definition at line 57 of file integer_rmap2.F90.
type(integer_varray_t) pmc_integer_rmap2::integer_rmap2_t::index |
Forward map to inverse map entries (single valued).
Definition at line 61 of file integer_rmap2.F90.
type(integer_varray_t), dimension(:, :), allocatable pmc_integer_rmap2::integer_rmap2_t::inverse |
Inverse map (multi-valued).
Definition at line 59 of file integer_rmap2.F90.