Concept Induction

| Home | Libraries | People | FAQ | More

### 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>`