<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> <html><head><meta http-equiv="Content-Type" content="text/html;charset=UTF-8"> <title>PolyBoRi: polybori::pbori_traits< ValueType > Class Template Reference</title> <link href="tabs.css" rel="stylesheet" type="text/css"> <link href="doxygen.css" rel="stylesheet" type="text/css"> </head><body> <!-- Generated by Doxygen 1.5.9 --> <div class="navigation" id="top"> <div class="tabs"> <ul> <li><a href="index.html"><span>Main Page</span></a></li> <li><a href="pages.html"><span>Related Pages</span></a></li> <li><a href="namespaces.html"><span>Namespaces</span></a></li> <li class="current"><a href="annotated.html"><span>Classes</span></a></li> <li><a href="files.html"><span>Files</span></a></li> </ul> </div> <div class="tabs"> <ul> <li><a href="annotated.html"><span>Class List</span></a></li> <li><a href="hierarchy.html"><span>Class Hierarchy</span></a></li> <li><a href="functions.html"><span>Class Members</span></a></li> </ul> </div> <div class="navpath"><a class="el" href="namespacepolybori.html">polybori</a>::<a class="el" href="classpolybori_1_1pbori__traits.html">pbori_traits</a> </div> </div> <div class="contents"> <h1>polybori::pbori_traits< ValueType > Class Template Reference</h1><!-- doxytag: class="polybori::pbori_traits" -->This class contains property definitions to be used in <a class="el" href="namespacepolybori.html">polybori</a> classes. <a href="#_details">More...</a> <p> <code>#include <<a class="el" href="pbori__traits_8h_source.html">pbori_traits.h</a>></code> <p> <p> <a href="classpolybori_1_1pbori__traits-members.html">List of all members.</a><table border="0" cellpadding="0" cellspacing="0"> <tr><td></td></tr> <tr><td colspan="2"><br><h2>Public Types</h2></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef ValueType </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1pbori__traits.html#c367adac4726b8341265b856b092e004">value_type</a></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef value_type::dd_type </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1pbori__traits.html#320bbfc71a486e3ca6e4cd2ddd0b4abc">dd_type</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Type of interface to binary decicion diagrams. <a href="#320bbfc71a486e3ca6e4cd2ddd0b4abc"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef value_type::bool_type </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1pbori__traits.html#4242f84b0a276317d2c6ead793d58ec2">bool_type</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Type for standard true/false statements. <a href="#4242f84b0a276317d2c6ead793d58ec2"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef value_type::size_type </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1pbori__traits.html#7e9c24798f3980d0cf1c580c163831ed">size_type</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Type for lengths, dimensions, etc. <a href="#7e9c24798f3980d0cf1c580c163831ed"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef value_type::integer_type </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1pbori__traits.html#81d5adf74630cbad97fc14ab163de96e">integer_type</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Type for integer numbers. <a href="#81d5adf74630cbad97fc14ab163de96e"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef value_type::idx_type </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1pbori__traits.html#b35ca8e12c76db46bb69bef4af6a7450">idx_type</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Type for indices. <a href="#b35ca8e12c76db46bb69bef4af6a7450"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef value_type::comp_type </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1pbori__traits.html#d1ed9092dca729e2bd8c4446a8d9c1a5">comp_type</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Type for comparisons. <a href="#d1ed9092dca729e2bd8c4446a8d9c1a5"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef value_type::hash_type </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1pbori__traits.html#505204aa792c60b1ee0a45dbb234e7f5">hash_type</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Type for hashing. <a href="#505204aa792c60b1ee0a45dbb234e7f5"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef value_type::ostream_type </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1pbori__traits.html#c99ab17f072d168c5cf24e5967db1f74">ostream_type</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Type for out-stream. <a href="#c99ab17f072d168c5cf24e5967db1f74"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <br class="typebreak"> value_type::easy_equality_property </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1pbori__traits.html#929220ef14e5ae30cf0ae296661336fd">easy_equality_property</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">The property whether the equality check is easy. <a href="#929220ef14e5ae30cf0ae296661336fd"></a><br></td></tr> </table> <hr><a name="_details"></a><h2>Detailed Description</h2> <h3>template<class ValueType><br> class polybori::pbori_traits< ValueType ></h3> This class contains property definitions to be used in <a class="el" href="namespacepolybori.html">polybori</a> classes. <hr><h2>Member Typedef Documentation</h2> <a class="anchor" name="4242f84b0a276317d2c6ead793d58ec2"></a><!-- doxytag: member="polybori::pbori_traits::bool_type" ref="4242f84b0a276317d2c6ead793d58ec2" args="" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class ValueType > </div> <table class="memname"> <tr> <td class="memname">typedef value_type::bool_type <a class="el" href="classpolybori_1_1pbori__traits.html">polybori::pbori_traits</a>< ValueType >::<a class="el" href="classpolybori_1_1pbori__traits.html#4242f84b0a276317d2c6ead793d58ec2">bool_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Type for standard true/false statements. <p> </div> </div><p> <a class="anchor" name="d1ed9092dca729e2bd8c4446a8d9c1a5"></a><!-- doxytag: member="polybori::pbori_traits::comp_type" ref="d1ed9092dca729e2bd8c4446a8d9c1a5" args="" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class ValueType > </div> <table class="memname"> <tr> <td class="memname">typedef value_type::comp_type <a class="el" href="classpolybori_1_1pbori__traits.html">polybori::pbori_traits</a>< ValueType >::<a class="el" href="classpolybori_1_1pbori__traits.html#d1ed9092dca729e2bd8c4446a8d9c1a5">comp_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Type for comparisons. <p> </div> </div><p> <a class="anchor" name="320bbfc71a486e3ca6e4cd2ddd0b4abc"></a><!-- doxytag: member="polybori::pbori_traits::dd_type" ref="320bbfc71a486e3ca6e4cd2ddd0b4abc" args="" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class ValueType > </div> <table class="memname"> <tr> <td class="memname">typedef value_type::dd_type <a class="el" href="classpolybori_1_1pbori__traits.html">polybori::pbori_traits</a>< ValueType >::<a class="el" href="classpolybori_1_1pbori__traits.html#320bbfc71a486e3ca6e4cd2ddd0b4abc">dd_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Type of interface to binary decicion diagrams. <p> </div> </div><p> <a class="anchor" name="929220ef14e5ae30cf0ae296661336fd"></a><!-- doxytag: member="polybori::pbori_traits::easy_equality_property" ref="929220ef14e5ae30cf0ae296661336fd" args="" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class ValueType > </div> <table class="memname"> <tr> <td class="memname">typedef value_type::easy_equality_property <a class="el" href="classpolybori_1_1pbori__traits.html">polybori::pbori_traits</a>< ValueType >::<a class="el" href="classeasy__equality__property.html">easy_equality_property</a> </td> </tr> </table> </div> <div class="memdoc"> <p> The property whether the equality check is easy. <p> </div> </div><p> <a class="anchor" name="505204aa792c60b1ee0a45dbb234e7f5"></a><!-- doxytag: member="polybori::pbori_traits::hash_type" ref="505204aa792c60b1ee0a45dbb234e7f5" args="" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class ValueType > </div> <table class="memname"> <tr> <td class="memname">typedef value_type::hash_type <a class="el" href="classpolybori_1_1pbori__traits.html">polybori::pbori_traits</a>< ValueType >::<a class="el" href="classpolybori_1_1pbori__traits.html#505204aa792c60b1ee0a45dbb234e7f5">hash_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Type for hashing. <p> </div> </div><p> <a class="anchor" name="b35ca8e12c76db46bb69bef4af6a7450"></a><!-- doxytag: member="polybori::pbori_traits::idx_type" ref="b35ca8e12c76db46bb69bef4af6a7450" args="" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class ValueType > </div> <table class="memname"> <tr> <td class="memname">typedef value_type::idx_type <a class="el" href="classpolybori_1_1pbori__traits.html">polybori::pbori_traits</a>< ValueType >::<a class="el" href="classpolybori_1_1pbori__traits.html#b35ca8e12c76db46bb69bef4af6a7450">idx_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Type for indices. <p> </div> </div><p> <a class="anchor" name="81d5adf74630cbad97fc14ab163de96e"></a><!-- doxytag: member="polybori::pbori_traits::integer_type" ref="81d5adf74630cbad97fc14ab163de96e" args="" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class ValueType > </div> <table class="memname"> <tr> <td class="memname">typedef value_type::integer_type <a class="el" href="classpolybori_1_1pbori__traits.html">polybori::pbori_traits</a>< ValueType >::<a class="el" href="classpolybori_1_1pbori__traits.html#81d5adf74630cbad97fc14ab163de96e">integer_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Type for integer numbers. <p> </div> </div><p> <a class="anchor" name="c99ab17f072d168c5cf24e5967db1f74"></a><!-- doxytag: member="polybori::pbori_traits::ostream_type" ref="c99ab17f072d168c5cf24e5967db1f74" args="" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class ValueType > </div> <table class="memname"> <tr> <td class="memname">typedef value_type::ostream_type <a class="el" href="classpolybori_1_1pbori__traits.html">polybori::pbori_traits</a>< ValueType >::<a class="el" href="classpolybori_1_1pbori__traits.html#c99ab17f072d168c5cf24e5967db1f74">ostream_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Type for out-stream. <p> </div> </div><p> <a class="anchor" name="7e9c24798f3980d0cf1c580c163831ed"></a><!-- doxytag: member="polybori::pbori_traits::size_type" ref="7e9c24798f3980d0cf1c580c163831ed" args="" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class ValueType > </div> <table class="memname"> <tr> <td class="memname">typedef value_type::size_type <a class="el" href="classpolybori_1_1pbori__traits.html">polybori::pbori_traits</a>< ValueType >::<a class="el" href="classpolybori_1_1pbori__traits.html#7e9c24798f3980d0cf1c580c163831ed">size_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Type for lengths, dimensions, etc. <p> </div> </div><p> <a class="anchor" name="c367adac4726b8341265b856b092e004"></a><!-- doxytag: member="polybori::pbori_traits::value_type" ref="c367adac4726b8341265b856b092e004" args="" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class ValueType > </div> <table class="memname"> <tr> <td class="memname">typedef ValueType <a class="el" href="classpolybori_1_1pbori__traits.html">polybori::pbori_traits</a>< ValueType >::<a class="el" href="classpolybori_1_1pbori__traits.html#c367adac4726b8341265b856b092e004">value_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> </div> </div><p> <hr>The documentation for this class was generated from the following file:<ul> <li><a class="el" href="pbori__traits_8h_source.html">pbori_traits.h</a></ul> </div> <hr size="1"><address style="text-align: right;"><small>Generated on Wed Sep 9 14:31:03 2009 for PolyBoRi by <a href="http://www.doxygen.org/index.html"> <img src="doxygen.png" alt="doxygen" align="middle" border="0"></a> 1.5.9 </small></address> </body> </html>