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

Click here to view the latest version of this page.
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