Boost C++ Libraries Home Libraries People FAQ More

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