3 <meta http-equiv=
"Content-Type" content=
"text/html; charset=US-ASCII">
4 <title>Concept Induction
</title>
5 <link rel=
"stylesheet" href=
"../../../../../../doc/src/boostbook.css" type=
"text/css">
6 <meta name=
"generator" content=
"DocBook XSL Stylesheets V1.74.0">
7 <link rel=
"home" href=
"../../index.html" title=
"Chapter 1. Boost.Icl">
8 <link rel=
"up" href=
"../semantics.html" title=
"Semantics">
9 <link rel=
"prev" href=
"quantifiers__maps_of_numbers.html" title=
"Quantifiers: Maps of Numbers">
10 <link rel=
"next" href=
"../interface.html" title=
"Interface">
12 <body bgcolor=
"white" text=
"black" link=
"#0000FF" vlink=
"#840084" alink=
"#0000FF">
13 <table cellpadding=
"2" width=
"100%"><tr>
14 <td valign=
"top"><img alt=
"Boost C++ Libraries" width=
"277" height=
"86" src=
"../../../../../../boost.png"></td>
15 <td align=
"center"><a href=
"../../../../../../index.html">Home
</a></td>
16 <td align=
"center"><a href=
"../../../../../libraries.htm">Libraries
</a></td>
17 <td align=
"center"><a href=
"http://www.boost.org/users/people.html">People
</a></td>
18 <td align=
"center"><a href=
"http://www.boost.org/users/faq.html">FAQ
</a></td>
19 <td align=
"center"><a href=
"../../../../../../more/index.htm">More
</a></td>
22 <div class=
"spirit-nav">
23 <a accesskey=
"p" href=
"quantifiers__maps_of_numbers.html"><img src=
"../../../../../../doc/src/images/prev.png" alt=
"Prev"></a><a accesskey=
"u" href=
"../semantics.html"><img src=
"../../../../../../doc/src/images/up.png" alt=
"Up"></a><a accesskey=
"h" href=
"../../index.html"><img src=
"../../../../../../doc/src/images/home.png" alt=
"Home"></a><a accesskey=
"n" href=
"../interface.html"><img src=
"../../../../../../doc/src/images/next.png" alt=
"Next"></a>
25 <div class=
"section boost_icl_semantics_concept_induction" lang=
"en">
26 <div class=
"titlepage"><div><div><h3 class=
"title">
27 <a name=
"boost_icl.semantics.concept_induction"></a><a class=
"link" href=
"concept_induction.html" title=
"Concept Induction">Concept Induction
</a>
28 </h3></div></div></div>
30 Obviously we can observe the induction of semantics from the
<code class=
"computeroutput"><span class=
"identifier">CodomainT
</span></code> parameter into the instantiations
33 <div class=
"informaltable"><table class=
"table">
65 <code class=
"computeroutput"><span class=
"identifier">Map
</span><span class=
"special"><</span><span class=
"identifier">D
</span><span class=
"special">,
</span><span class=
"identifier">Monoid
</span><span class=
"special">></span></code>
70 <code class=
"computeroutput"><span class=
"identifier">Modoid
</span></code>
79 <code class=
"computeroutput"><span class=
"identifier">interval_map
</span><span class=
"special"><</span><span class=
"keyword">int
</span><span class=
"special">,
</span><span class=
"identifier">string
</span><span class=
"special">></span></code>
86 <code class=
"computeroutput"><span class=
"identifier">Map
</span><span class=
"special"><</span><span class=
"identifier">D
</span><span class=
"special">,
</span><span class=
"identifier">Set
</span><span class=
"special">,
</span><span class=
"identifier">Trait
</span><span class=
"special">></span></code>
91 <code class=
"computeroutput"><span class=
"identifier">Set
</span></code>
96 <code class=
"computeroutput"><span class=
"identifier">Trait
</span><span class=
"special">::
</span><span class=
"identifier">absorbs_identities
</span></code>
101 <code class=
"computeroutput"><span class=
"identifier">interval_map
</span><span class=
"special"><</span><span class=
"keyword">int
</span><span class=
"special">,
</span><span class=
"identifier">std
</span><span class=
"special">::
</span><span class=
"identifier">set
</span><span class=
"special"><</span><span class=
"keyword">int
</span><span class=
"special">></span>
102 <span class=
"special">></span></code>
109 <code class=
"computeroutput"><span class=
"identifier">Map
</span><span class=
"special"><</span><span class=
"identifier">D
</span><span class=
"special">,
</span><span class=
"identifier">CommutativeMonoid
</span><span class=
"special">></span></code>
114 <code class=
"computeroutput"><span class=
"identifier">CommutativeMonoid
</span></code>
123 <code class=
"computeroutput"><span class=
"identifier">interval_map
</span><span class=
"special"><</span><span class=
"keyword">int
</span><span class=
"special">,
</span><span class=
"keyword">unsigned
</span> <span class=
"keyword">int
</span><span class=
"special">></span></code>
130 <code class=
"computeroutput"><span class=
"identifier">Map
</span><span class=
"special"><</span><span class=
"identifier">D
</span><span class=
"special">,
</span><span class=
"identifier">CommutativeGroup
</span><span class=
"special">></span></code>
135 <code class=
"computeroutput"><span class=
"identifier">CommutativeGroup
</span></code>
140 <code class=
"computeroutput"><span class=
"identifier">Trait
</span><span class=
"special">::
</span><span class=
"identifier">is_total
</span></code>
145 <code class=
"computeroutput"><span class=
"identifier">interval_map
</span><span class=
"special"><</span><span class=
"keyword">int
</span><span class=
"special">,
</span><span class=
"keyword">int
</span><span class=
"special">,
</span><span class=
"identifier">total_absorber
</span><span class=
"special">></span></code>
152 <table xmlns:
rev=
"http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" width=
"100%"><tr>
153 <td align=
"left"></td>
154 <td align=
"right"><div class=
"copyright-footer">Copyright
© 2007 -
2010 Joachim Faulhaber
<br>Copyright
© 1999 -
2006 Cortex Software GmbH
<p>
155 Distributed under the Boost Software License, Version
1.0. (See accompanying
156 file LICENSE_1_0.txt or copy at
<a href=
"http://www.boost.org/LICENSE_1_0.txt" target=
"_top">http://www.boost.org/LICENSE_1_0.txt
</a>)
161 <div class=
"spirit-nav">
162 <a accesskey=
"p" href=
"quantifiers__maps_of_numbers.html"><img src=
"../../../../../../doc/src/images/prev.png" alt=
"Prev"></a><a accesskey=
"u" href=
"../semantics.html"><img src=
"../../../../../../doc/src/images/up.png" alt=
"Up"></a><a accesskey=
"h" href=
"../../index.html"><img src=
"../../../../../../doc/src/images/home.png" alt=
"Home"></a><a accesskey=
"n" href=
"../interface.html"><img src=
"../../../../../../doc/src/images/next.png" alt=
"Next"></a>