1 #ifndef DD_DDsvalues_type_h 2 #define DD_DDsvalues_type_h 28 return lh.first < rh.first;
31 inline DDsvalues_type::const_iterator
find( DDsvalues_type::const_iterator
begin, DDsvalues_type::const_iterator
end,
unsigned int id) {
34 DDsvalues_type::const_iterator it = std::lower_bound(begin,end,v);
35 if (it!=end && (*it).first==
id)
return it;
40 return find(sv.begin(),sv.end(),
id);
52 unsigned int DDfetch(
const std::vector<const DDsvalues_type *> &
sp,
54 std::vector<DDValue> &
result);
64 std::ostream & operator<<(std::ostream & , const std::vector<const DDsvalues_type*> &);
void merge(DDsvalues_type &target, DDsvalues_type const &sv, bool sortit=true)
DDsvalues_type::const_iterator find(DDsvalues_type::const_iterator begin, DDsvalues_type::const_iterator end, unsigned int id)
bool DDfetch(const DDsvalues_type *, DDValue &)
helper for retrieving DDValues from DDsvalues_type *.
Container::value_type value_type
std::vector< std::pair< unsigned int, DDValue > > DDsvalues_type
std::maps an index to a DDValue. The index corresponds to the index assigned to the name of the std::...
std::ostream & operator<<(std::ostream &, const DDsvalues_type &)
bool operator<(const DDsvalues_Content_type &lh, const DDsvalues_Content_type &rh)
DDsvalues_type::value_type DDsvalues_Content_type