Boost C++ Libraries

...one of the most highly regarded and expertly designed C++ library projects in the world. Herb Sutter and Andrei Alexandrescu, C++ Coding Standards

PrevUpHomeNext

Concept Induction

Obviously we can observe the induction of semantics from the CodomainT parameter into the instantiations of icl maps.

is model of

if

example

Map<D,Monoid>

Modoid

interval_map<int,string>

Map<D,Set,Trait>

Set

Trait::absorbs_identities

interval_map<int,std::set<int> >

Map<D,CommutativeMonoid>

CommutativeMonoid

interval_map<int,unsigned int>

Map<D,CommutativeGroup>

CommutativeGroup

Trait::is_total

interval_map<int,int,total_absorber>


PrevUpHomeNext