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

This is the documentation for a snapshot of the develop branch, built from commit 5f0ff1c60c.
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