source: src/Fragmentation/Summation/Summator.hpp

Candidate_v1.6.1
Last change on this file was da098d2, checked in by Frederik Heber <heber@…>, 8 years ago

..Summators and AllLevel..Summators pass through ZeroInstance, added ZeroInstanceInitializer.

  • ZeroInstanceInitializer fills the boost::fusion::map with default values.
  • this is handed to AllLevel..Summators that use ..Summators::setZeroInstance() if the present entry in the fusion map is unequal to ZeroInstance<T>.
  • ..SumUpPerLevel instantiate a default set of zero instances and pass it on for the moment.
  • Property mode set to 100644
File size: 7.1 KB
Line 
1/*
2 * Summator.hpp
3 *
4 * Created on: 28.07.2012
5 * Author: heber
6 */
7
8#ifndef SUMMATOR_HPP_
9#define SUMMATOR_HPP_
10
11// include config.h
12#ifdef HAVE_CONFIG_H
13#include <config.h>
14#endif
15
16#include <boost/fusion/sequence.hpp>
17
18#include <iterator>
19
20#include "CodePatterns/Assert.hpp"
21
22#include "Fragmentation/Summation/Summation.hpp"
23#include "Fragmentation/Summation/SetValue.hpp"
24#include "Fragmentation/Summation/ZeroInstance.hpp"
25
26/** Summator is a general class for making us of Summation.
27 *
28 * The idea is that we want to sum up not only one value but a whole bunch of.
29 * However, in general the types of the values will all differ. We would like
30 * to call the summation in a as simple a fashion as possible and at best in
31 * a kind of for_each on each type/value.
32 * For this purpose we require a list of all the types, represented by the
33 * MPQCDataMap_t map that uses the types enumerated in namespace MPQCDataFused,
34 * see the simple example for the associative sequence in boost::fusion.
35 * The MPQCDataMap_t then gives the essential mapping from the type to a specific
36 * key. Via this key, which is a type and hence can be used for template
37 * specification, we may gather all information for launching the
38 * Summation. We only need to convert MPQCData into the above
39 * MPQCDataMap_t instance and may then access the member variables via the above
40 * key and also obtain the type at \b run-time through the key.
41 *
42 * Note that we then need a conversion from the type stored in the MPQCData,
43 * e.g. a vector<double>, to the type in MPQCDataMap_t, e.g. Histogram.
44 *
45 * Boost::fusion is very cool! If we have a namespace with just structs as keys
46 * and the fusion::map from these keys to the true types, then we may do ...
47 * \code
48 * MPQCDataMap_t MPQCDataMap;
49 * using namespace MPQCDataFused;
50 * double MPQCData_energy_total = boost::fusion::at_key<MPQCDataFused::energy_total>(MPQCDataMap);
51 * \endcode
52 * i.e. at_key knows the correct type!
53 *
54 * Note that you may skip values in the summation by setting their index in
55 * _MatrixNrLookup to something outside the range of [0,_data.size()], e.g.
56 * -1.
57 *
58 */
59template <typename MapType, typename MapKey>
60struct Summator {
61 /** We retrieve the type of the MPQCData member variable from the
62 * boost::fusion::map and stored it in this typedef. Note that for
63 * internal types (e.g. MapValue::const_iterator we need to place
64 * \b typename before).
65 */
66 typedef typename boost::fusion::result_of::value_at_key<MapType, MapKey>::type MapValue;
67
68 /** Constructor for class Summator.
69 *
70 * \param _subsetmap map with hierarchy of IndexSet's
71 * \param _data MPQCData converted to MPQCDataMap_t type, associated to job id
72 * \param _container container of IndexSet's such that each set has correct order
73 * to job id and hence to _data.
74 * \param _MatrixNrLookup lookup from job id to ordering in above vectors
75 */
76 Summator(
77 SubsetMap::ptr &_subsetmap,
78 const std::map<JobId_t, MapType> &_data,
79 const IndexSetContainer::Container_t &_container,
80 const std::map< JobId_t, size_t > &_MatrixNrLookup) :
81 indices(getSubsets(_data.size(),_container)),
82 values(createValues(_data, _container, _MatrixNrLookup)),
83 OS(indices, values, _subsetmap)
84 {
85 ASSERT( _data.size() == _MatrixNrLookup.size(),
86 "Summator() - ids and MatrixNrLookup don't have same size.");
87 }
88
89 /** Summation operator.
90 *
91 * Initialises instantiated Summation of the respective type via
92 * \a Summator::data, uses Summation::operator() to sum and returns
93 * the result.
94 *
95 * \param level up to which level to sum up
96 * \return result of Summation for given type from MPQCDataMap_t.
97 */
98 MapValue operator()(const size_t level)
99 {
100 // evaluate
101 const MapValue result = OS(level);
102 return result;
103 }
104
105 /** Setter for the zero instance to use as the base in summation.
106 *
107 * \sa Summation::setZeroInstance() for explanations.
108 *
109 * \param _zeroinstance
110 */
111 void setZeroInstance(const MapValue &_zeroinstance)
112 {
113 OS.setZeroInstance(_zeroinstance);
114 }
115
116 /** Getter for the contribution of the SetValue<> to a specific \a index.
117 *
118 * @param index SetValue to this index
119 * @return contribution
120 */
121 MapValue getContributionForIndexSet(const IndexSet::ptr &ptr) const
122 {
123 typedef SetValueMap<MapValue> setvalues_t;
124 const setvalues_t &values = OS.getSetValues();
125 return values.getConstValue(ptr)->getContribution();
126 }
127
128 /** Getter for the value of the SetValue<> to a specific \a index.
129 *
130 * @param index SetValue to this index
131 * @return value
132 */
133 MapValue getValueForIndexSet(const IndexSet::ptr &ptr) const
134 {
135 typedef SetValueMap<MapValue> setvalues_t;
136 const setvalues_t &values = OS.getSetValues();
137 return values.getConstValue(ptr)->getValue();
138 }
139
140
141private:
142 /** Tiny helper to create the indices from a given IndexSetContainer.
143 *
144 * Basically, we just have to make sure we miss the last one but only
145 * if the \a container has more than one set.
146 *
147 * @param count how many indices of container to use
148 * @param container container with IndexSet
149 * @return all subsets contained in \a container
150 */
151 typename Summation<MapValue>::InputSets_t getSubsets(
152 const size_t count,
153 const IndexSetContainer::Container_t &container)
154 {
155 IndexSetContainer::Container_t::const_iterator iter = container.begin();
156 std::advance(iter, count); // step till after desired element
157 typename Summation<MapValue>::InputSets_t indices(container.begin(), iter);
158 return indices;
159 }
160
161 /** Tiny helper to create the values for the summation in the correct order.
162 *
163 * @param data
164 * @param container
165 * @param MatrixNrLookup
166 * @return
167 */
168 typename Summation<MapValue>::InputValues_t createValues(
169 const std::map<JobId_t, MapType> &data,
170 const IndexSetContainer::Container_t &container,
171 const std::map< JobId_t, size_t > &MatrixNrLookup)
172 {
173 // if we just have one indexset, we don't need to get rid of the "union index set"
174 typename Summation<MapValue>::InputValues_t values(data.size(), ZeroInstance<MapValue>());
175 for (typename std::map<JobId_t, MapType>::const_iterator dataiter = data.begin();
176 dataiter != data.end(); ++dataiter) {
177 const MapType &Data = dataiter->second;
178 const JobId_t &jobid = dataiter->first;
179 const MapValue &value = boost::fusion::at_key<MapKey>(Data);
180 const std::map< JobId_t, size_t >::const_iterator nriter = MatrixNrLookup.find(jobid);
181 ASSERT( nriter != MatrixNrLookup.end(),
182 "Summation<>::createValues() - MatrixNrLookup does not contain id "
183 +toString(jobid)+".");
184 if ((nriter->second >= 0 ) && (nriter->second < data.size()))
185 values[ nriter->second ] = value;
186 }
187 return values;
188 }
189private:
190 //!> created indices for OS such that we may hand over refs
191 typename Summation<MapValue>::InputSets_t indices;
192 //!> created values for OS such that we may hand over refs
193 typename Summation<MapValue>::InputValues_t values;
194 //!> Summation instance to use in operator()(level)
195 Summation<MapValue> OS;
196};
197
198
199#endif /* SUMMATOR_HPP_ */
Note: See TracBrowser for help on using the repository browser.