Sophie

Sophie

distrib > Mandriva > 2010.0 > i586 > media > contrib-release > by-pkgid > a24e1a39141f9b4ca49bd1e2e23a54ba > files > 96

polybori-doc-0.5rc.p9-6mdv2010.0.i586.rpm

<!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: CTermGenerator.h Source File</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&nbsp;Page</span></a></li>
      <li><a href="pages.html"><span>Related&nbsp;Pages</span></a></li>
      <li><a href="namespaces.html"><span>Namespaces</span></a></li>
      <li><a href="annotated.html"><span>Classes</span></a></li>
      <li class="current"><a href="files.html"><span>Files</span></a></li>
    </ul>
  </div>
  <div class="tabs">
    <ul>
      <li><a href="files.html"><span>File&nbsp;List</span></a></li>
      <li><a href="globals.html"><span>File&nbsp;Members</span></a></li>
    </ul>
  </div>
<h1>CTermGenerator.h</h1><a href="CTermGenerator_8h.html">Go to the documentation of this file.</a><div class="fragment"><pre class="fragment"><a name="l00001"></a>00001 <span class="comment">// -*- c++ -*-</span>
<a name="l00002"></a>00002 <span class="comment">//*****************************************************************************</span>
<a name="l00067"></a>00067 <span class="comment"></span><span class="comment">//*****************************************************************************</span>
<a name="l00068"></a>00068 
<a name="l00069"></a>00069 <span class="comment">// include basic definitions</span>
<a name="l00070"></a>00070 <span class="preprocessor">#include "<a class="code" href="pbori__defs_8h.html">pbori_defs.h</a>"</span>
<a name="l00071"></a>00071 
<a name="l00072"></a>00072 <span class="comment">// include polybori functionals</span>
<a name="l00073"></a>00073 <span class="preprocessor">#include "<a class="code" href="pbori__func_8h.html">pbori_func.h</a>"</span>
<a name="l00074"></a>00074 
<a name="l00075"></a>00075 <span class="preprocessor">#include "<a class="code" href="BooleSet_8h.html">BooleSet.h</a>"</span>
<a name="l00076"></a>00076 
<a name="l00077"></a>00077 <span class="preprocessor">#ifndef CTermGenerator_h_</span>
<a name="l00078"></a>00078 <span class="preprocessor"></span><span class="preprocessor">#define CTermGenerator_h_</span>
<a name="l00079"></a>00079 <span class="preprocessor"></span>
<a name="l00080"></a>00080 <a class="code" href="pbori__defs_8h.html#6ae360a591580558f31b6157ee792a10" title="Start project&amp;#39;s namespace.">BEGIN_NAMESPACE_PBORI</a>
<a name="l00081"></a>00081 
<a name="l00082"></a>00082 
<a name="l00083"></a>00083 <span class="keyword">template</span> &lt;<span class="keyword">class</span> TermType, <span class="keyword">class</span> BehaviourTag = type_tag&lt;TermType&gt; &gt;
<a name="l00084"></a>00084 <span class="keyword">class </span><a class="code" href="classCTermGeneratorBase.html">CTermGeneratorBase</a>;
<a name="l00085"></a>00085 
<a name="l00086"></a>00086 <span class="preprocessor">#if 0</span>
<a name="l00087"></a>00087 <span class="preprocessor"></span><span class="keyword">template</span> &lt;<span class="keyword">class</span> TermType&gt;
<a name="l00088"></a>00088 <span class="keyword">class </span><a class="code" href="classCTermGeneratorBase.html">CTermGeneratorBase</a>&lt;TermType, type_tag&lt;BooleMonomial&gt; &gt;{
<a name="l00089"></a>00089 
<a name="l00090"></a>00090 <span class="keyword">public</span>:
<a name="l00091"></a>00091   <span class="keyword">typedef</span> TermType value_type;
<a name="l00092"></a>00092   <span class="keyword">typedef</span> value_type result_type;
<a name="l00093"></a>00093 
<a name="l00094"></a>00094   <span class="keyword">template</span> &lt;<span class="keyword">class</span> SequenceType&gt;
<a name="l00095"></a>00095   result_type operator()(<span class="keyword">const</span> SequenceType&amp; seq)<span class="keyword"> const</span>{
<a name="l00096"></a>00096 
<a name="l00097"></a>00097     value_type result(!seq.isZero());
<a name="l00098"></a>00098 
<a name="l00099"></a>00099     <span class="keyword">typename</span> SequenceType::stack_reverse_iterator 
<a name="l00100"></a>00100       start(seq.stackRBegin()), finish(seq.stackREnd());
<a name="l00101"></a>00101 
<a name="l00102"></a>00102 <span class="preprocessor">#ifndef PBORI_NO_TERMS_BY_TAIL</span>
<a name="l00103"></a>00103 <span class="preprocessor"></span>    <span class="keyword">typename</span> BooleSet::navigator navi(result.diagram().navigation());
<a name="l00104"></a>00104 
<a name="l00105"></a>00105     assert((start == finish) || !start-&gt;isConstant());
<a name="l00106"></a>00106     <span class="keywordflow">while</span>((start != finish) &amp;&amp; 
<a name="l00107"></a>00107           (start-&gt;elseBranch().isEmpty()) &amp;&amp; (start-&gt;thenBranch() == navi)  ) {
<a name="l00108"></a>00108       navi = *start;
<a name="l00109"></a>00109       ++start;
<a name="l00110"></a>00110     }
<a name="l00111"></a>00111 
<a name="l00112"></a>00112     result = value_type(BooleSet(navi));
<a name="l00113"></a>00113 <span class="preprocessor">#endif</span>
<a name="l00114"></a>00114 <span class="preprocessor"></span>
<a name="l00115"></a>00115     <span class="keywordflow">while</span> (start != finish){
<a name="l00116"></a>00116       result.changeAssign(**start);
<a name="l00117"></a>00117       ++start;
<a name="l00118"></a>00118     }
<a name="l00119"></a>00119     
<a name="l00120"></a>00120     <span class="keywordflow">return</span> result;
<a name="l00121"></a>00121   }
<a name="l00122"></a>00122 };
<a name="l00123"></a>00123 <span class="preprocessor">#endif //if0</span>
<a name="l00124"></a>00124 <span class="preprocessor"></span>
<a name="l00125"></a>00125 <span class="keyword">class </span>BooleExponent;
<a name="l00126"></a>00126 <span class="keyword">template</span> &lt;<span class="keyword">class</span> TermType&gt;
<a name="l00127"></a><a class="code" href="classpolybori_1_1CTermGeneratorBase_3_01TermType_00_01type__tag_3_01BooleExponent_01_4_01_4.html">00127</a> <span class="keyword">class </span><a class="code" href="classCTermGeneratorBase.html">CTermGeneratorBase</a>&lt;TermType, <a class="code" href="structpolybori_1_1type__tag.html" title="This class marks a given type.">type_tag</a>&lt;<a class="code" href="classpolybori_1_1BooleExponent.html" title="This class is just a wrapper for using variables for storing indices as interim data...">BooleExponent</a>&gt; &gt; {
<a name="l00128"></a>00128 
<a name="l00129"></a>00129 <span class="keyword">public</span>:
<a name="l00130"></a><a class="code" href="classpolybori_1_1CTermGeneratorBase_3_01TermType_00_01type__tag_3_01BooleExponent_01_4_01_4.html#413d433bd8138fbd3350ac2dbbddcfb6">00130</a>   <span class="keyword">typedef</span> TermType value_type;
<a name="l00131"></a><a class="code" href="classpolybori_1_1CTermGeneratorBase_3_01TermType_00_01type__tag_3_01BooleExponent_01_4_01_4.html#d74bdca918653b9d0fb1bac0e7af0552">00131</a>   <span class="keyword">typedef</span> value_type result_type;
<a name="l00132"></a>00132 
<a name="l00133"></a>00133   <span class="keyword">template</span> &lt;<span class="keyword">class</span> SequenceType&gt;
<a name="l00134"></a><a class="code" href="classpolybori_1_1CTermGeneratorBase_3_01TermType_00_01type__tag_3_01BooleExponent_01_4_01_4.html#70abcce8426c759aa3b7ee74582c985b">00134</a>   result_type <a class="code" href="classpolybori_1_1CTermGeneratorBase_3_01TermType_00_01type__tag_3_01BooleExponent_01_4_01_4.html#70abcce8426c759aa3b7ee74582c985b">operator()</a>(<span class="keyword">const</span> SequenceType&amp; seq)<span class="keyword"> const</span>{
<a name="l00135"></a>00135 
<a name="l00136"></a>00136     value_type result;
<a name="l00137"></a>00137     result.reserve(seq.deg());
<a name="l00138"></a>00138     <span class="keyword">typename</span> SequenceType::const_iterator 
<a name="l00139"></a>00139       start(seq.begin()), finish(seq.end());
<a name="l00140"></a>00140 
<a name="l00141"></a>00141     <span class="keywordflow">while</span> (start != finish){
<a name="l00142"></a>00142       result.push_back(*start);
<a name="l00143"></a>00143       ++start;
<a name="l00144"></a>00144     }
<a name="l00145"></a>00145     <span class="keywordflow">return</span> result;
<a name="l00146"></a>00146   }
<a name="l00147"></a>00147 };
<a name="l00148"></a>00148 
<a name="l00149"></a>00149 <span class="keyword">template</span> &lt;<span class="keyword">class</span> TermType&gt;
<a name="l00150"></a><a class="code" href="classpolybori_1_1CTermGeneratorBase_3_01TermType_00_01type__tag_3_01CTypes_1_1size__type_01_4_01_4.html">00150</a> <span class="keyword">class </span><a class="code" href="classCTermGeneratorBase.html">CTermGeneratorBase</a>&lt;TermType, <a class="code" href="structpolybori_1_1type__tag.html" title="This class marks a given type.">type_tag</a>&lt;<a class="code" href="structpolybori_1_1CTypes.html" title="This struct contains type definitions to be used in library classes.">CTypes</a>::size_type&gt; &gt; {
<a name="l00151"></a>00151 <span class="keyword">public</span>:
<a name="l00152"></a><a class="code" href="classpolybori_1_1CTermGeneratorBase_3_01TermType_00_01type__tag_3_01CTypes_1_1size__type_01_4_01_4.html#6fbd4306347a03e6efa3cbb7f5a26603">00152</a>   <span class="keyword">typedef</span> TermType value_type;
<a name="l00153"></a><a class="code" href="classpolybori_1_1CTermGeneratorBase_3_01TermType_00_01type__tag_3_01CTypes_1_1size__type_01_4_01_4.html#b75e742f0fcd24d5524342c1d97833ca">00153</a>   <span class="keyword">typedef</span> value_type result_type;
<a name="l00154"></a>00154 
<a name="l00155"></a>00155   <span class="keyword">template</span> &lt;<span class="keyword">class</span> SequenceType&gt;
<a name="l00156"></a><a class="code" href="classpolybori_1_1CTermGeneratorBase_3_01TermType_00_01type__tag_3_01CTypes_1_1size__type_01_4_01_4.html#86fedc5056c87f7291089694974e9d64">00156</a>   result_type <a class="code" href="classpolybori_1_1CTermGeneratorBase_3_01TermType_00_01type__tag_3_01CTypes_1_1size__type_01_4_01_4.html#86fedc5056c87f7291089694974e9d64">operator()</a>(<span class="keyword">const</span> SequenceType&amp; seq)<span class="keyword"> const</span>{
<a name="l00157"></a>00157     <span class="keywordflow">return</span> seq.deg();
<a name="l00158"></a>00158   }
<a name="l00159"></a>00159 };
<a name="l00160"></a>00160 
<a name="l00161"></a>00161 
<a name="l00162"></a>00162 
<a name="l00163"></a>00163 <span class="keyword">template</span> &lt;<span class="keyword">class</span> TermType&gt;
<a name="l00164"></a><a class="code" href="classpolybori_1_1CTermGenerator.html">00164</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1CTermGenerator.html">CTermGenerator</a>:
<a name="l00165"></a>00165   <span class="keyword">public</span> CTermGeneratorBase&lt;TermType&gt; {
<a name="l00166"></a>00166 <span class="keyword">public</span>:
<a name="l00167"></a><a class="code" href="classpolybori_1_1CTermGenerator.html#cc4adb434df97c19b5ace3a46baaff1d">00167</a>   <span class="keyword">typedef</span> <a class="code" href="classCTermGeneratorBase.html">CTermGeneratorBase&lt;TermType&gt;</a> <a class="code" href="classCTermGeneratorBase.html">base</a>;
<a name="l00168"></a>00168 
<a name="l00169"></a><a class="code" href="classpolybori_1_1CTermGenerator.html#280579e6049f1238c714c18e2d102b65">00169</a>   <span class="keyword">typedef</span>  <a class="code" href="classpolybori_1_1CDDInterface.html">CTypes::dd_type</a> <a class="code" href="classpolybori_1_1CDDInterface.html">dd_type</a>;
<a name="l00170"></a><a class="code" href="classpolybori_1_1CTermGenerator.html#41aae55249e73179602281a2d9cd87bf">00170</a>   <span class="keyword">typedef</span>  dd_type::core_type data_type;
<a name="l00171"></a>00171 
<a name="l00172"></a><a class="code" href="classpolybori_1_1CTermGenerator.html#36bbd4d756732b06b463a5d39617bbb0">00172</a>   <a class="code" href="classpolybori_1_1CTermGenerator.html#36bbd4d756732b06b463a5d39617bbb0">CTermGenerator</a>(<span class="keyword">const</span> data_type&amp;): <a class="code" href="classCTermGeneratorBase.html">base</a>() {}
<a name="l00173"></a><a class="code" href="classpolybori_1_1CTermGenerator.html#a130fc98ee1137f6822de7ea3702fc29">00173</a>   <a class="code" href="classpolybori_1_1CTermGenerator.html#a130fc98ee1137f6822de7ea3702fc29">CTermGenerator</a>(<span class="keyword">const</span> <a class="code" href="classpolybori_1_1CTermGenerator.html">CTermGenerator</a>&amp; rhs): <a class="code" href="classCTermGeneratorBase.html">base</a>(rhs) {}
<a name="l00174"></a><a class="code" href="classpolybori_1_1CTermGenerator.html#74a0a93d9838ca1adc9b6b6b4bf028d3">00174</a>   <a class="code" href="classpolybori_1_1CTermGenerator.html#74a0a93d9838ca1adc9b6b6b4bf028d3">CTermGenerator</a>(): <a class="code" href="classCTermGeneratorBase.html">base</a>() {}
<a name="l00175"></a>00175 
<a name="l00176"></a>00176 };
<a name="l00177"></a>00177 
<a name="l00179"></a><a class="code" href="classpolybori_1_1NoData.html">00179</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1NoData.html">NoData</a> {};
<a name="l00180"></a>00180 
<a name="l00181"></a>00181 
<a name="l00182"></a>00182 <span class="keyword">template</span> &lt;<span class="keyword">class</span> TermType, <span class="keyword">class</span> BehaviourTag = type_tag&lt;TermType&gt; &gt;
<a name="l00183"></a>00183 <span class="keyword">class </span>MyCTermGeneratorBase;
<a name="l00184"></a>00184 
<a name="l00185"></a>00185 <span class="keyword">template</span> &lt;<span class="keyword">class</span> TermType&gt;
<a name="l00186"></a><a class="code" href="classpolybori_1_1CTermGeneratorBase_3_01TermType_00_01type__tag_3_01BooleMonomial_01_4_01_4.html">00186</a> <span class="keyword">class </span><a class="code" href="classCTermGeneratorBase.html">CTermGeneratorBase</a>&lt;TermType, <a class="code" href="structpolybori_1_1type__tag.html" title="This class marks a given type.">type_tag</a>&lt;<a class="code" href="classpolybori_1_1BooleMonomial.html" title="This class is just a wrapper for using variables from cudd&amp;#39;s decicion diagram...">BooleMonomial</a>&gt; &gt;{
<a name="l00187"></a>00187 
<a name="l00188"></a>00188 <span class="keyword">public</span>:
<a name="l00189"></a><a class="code" href="classpolybori_1_1CTermGeneratorBase_3_01TermType_00_01type__tag_3_01BooleMonomial_01_4_01_4.html#776c11deb04b17b4e0e74a94211b8a74">00189</a>   <span class="keyword">typedef</span> TermType value_type;
<a name="l00190"></a><a class="code" href="classpolybori_1_1CTermGeneratorBase_3_01TermType_00_01type__tag_3_01BooleMonomial_01_4_01_4.html#341dd9fc88cc5bf702d0655d74c7a255">00190</a>   <span class="keyword">typedef</span> value_type result_type;
<a name="l00191"></a>00191 
<a name="l00192"></a><a class="code" href="classpolybori_1_1CTermGeneratorBase_3_01TermType_00_01type__tag_3_01BooleMonomial_01_4_01_4.html#4b5623709a6f9cfee3f92d7e0d3bc251">00192</a>   <span class="keyword">typedef</span>  <a class="code" href="classpolybori_1_1CCuddInterface.html" title="This class defines a C++ interface to CUDD&amp;#39;s decicion diagram manager.">CTypes::manager_base</a> <a class="code" href="classpolybori_1_1CCuddInterface.html" title="This class defines a C++ interface to CUDD&amp;#39;s decicion diagram manager.">manager_base</a>;
<a name="l00193"></a>00193 
<a name="l00194"></a><a class="code" href="classpolybori_1_1CTermGeneratorBase_3_01TermType_00_01type__tag_3_01BooleMonomial_01_4_01_4.html#c0784954073206e33266012e6ed18ed1">00194</a>   <span class="keyword">typedef</span>  <a class="code" href="classpolybori_1_1CDDInterface.html">CTypes::dd_type</a> <a class="code" href="classpolybori_1_1CDDInterface.html">dd_type</a>;
<a name="l00195"></a><a class="code" href="classpolybori_1_1CTermGeneratorBase_3_01TermType_00_01type__tag_3_01BooleMonomial_01_4_01_4.html#7cbfe07d67549dd5646ab244c4a21aad">00195</a>   <span class="keyword">typedef</span>  dd_type::core_type data_type;
<a name="l00196"></a>00196 
<a name="l00197"></a>00197   <span class="comment">// typedef  CTypes::manager_base data_type;</span>
<a name="l00198"></a><a class="code" href="classpolybori_1_1CTermGeneratorBase_3_01TermType_00_01type__tag_3_01BooleMonomial_01_4_01_4.html#9d4ab04aee8b484f615b861600afd5f7">00198</a>   data_type m_data;
<a name="l00200"></a>00200 
<a name="l00201"></a><a class="code" href="classpolybori_1_1CTermGeneratorBase_3_01TermType_00_01type__tag_3_01BooleMonomial_01_4_01_4.html#bdfbd8e82358e3c56e2d25e1819ff036">00201</a>   <a class="code" href="classpolybori_1_1CTermGeneratorBase_3_01TermType_00_01type__tag_3_01BooleMonomial_01_4_01_4.html#bdfbd8e82358e3c56e2d25e1819ff036" title="CCuddCore * m_data; // non-save variant.">CTermGeneratorBase</a>(<span class="keyword">const</span> data_type&amp; data): m_data(data) {}
<a name="l00202"></a>00202 
<a name="l00203"></a><a class="code" href="classpolybori_1_1CTermGeneratorBase_3_01TermType_00_01type__tag_3_01BooleMonomial_01_4_01_4.html#665a5193d03ad3cf405713f480a35912">00203</a>   <a class="code" href="classpolybori_1_1CTermGeneratorBase_3_01TermType_00_01type__tag_3_01BooleMonomial_01_4_01_4.html#665a5193d03ad3cf405713f480a35912">CTermGeneratorBase</a>(): m_data() {}
<a name="l00204"></a>00204 
<a name="l00205"></a>00205   <span class="keyword">template</span> &lt;<span class="keyword">class</span> SequenceType&gt;
<a name="l00206"></a><a class="code" href="classpolybori_1_1CTermGeneratorBase_3_01TermType_00_01type__tag_3_01BooleMonomial_01_4_01_4.html#477568fa785ddca5cc46cc066c1f9c18">00206</a>   result_type <a class="code" href="classpolybori_1_1CTermGeneratorBase_3_01TermType_00_01type__tag_3_01BooleMonomial_01_4_01_4.html#477568fa785ddca5cc46cc066c1f9c18">operator()</a>(<span class="keyword">const</span> SequenceType&amp; seq)<span class="keyword"> const </span>{
<a name="l00207"></a>00207     assert(m_data != data_type());
<a name="l00208"></a>00208 
<a name="l00209"></a>00209     <span class="comment">// Do not dereference empty sequence (corresponds to end())</span>
<a name="l00210"></a>00210     assert(!seq.isZero());
<a name="l00211"></a>00211 
<a name="l00212"></a>00212     <span class="comment">// @todo: avoid using manager_base here</span>
<a name="l00213"></a>00213     <span class="keyword">typedef</span> <span class="keyword">typename</span> value_type::ring_type ring_type;
<a name="l00214"></a>00214     <span class="keyword">typedef</span> <span class="keyword">typename</span> ring_type::manager_type manager_type;
<a name="l00215"></a>00215     value_type result((ring_type)manager_type(m_data));
<a name="l00216"></a>00216 
<a name="l00217"></a>00217     <span class="keyword">typename</span> SequenceType::stack_reverse_iterator 
<a name="l00218"></a>00218       start(seq.stackRBegin()), finish(seq.stackREnd());
<a name="l00219"></a>00219 
<a name="l00220"></a>00220 <span class="preprocessor">#ifndef PBORI_NO_TERMS_BY_TAIL</span>
<a name="l00221"></a>00221 <span class="preprocessor"></span>    <span class="keyword">typename</span> <a class="code" href="classpolybori_1_1CCuddNavigator.html" title="This class defines an iterator for navigating through then and else branches of ZDDs...">BooleSet::navigator</a> navi(result.diagram().navigation());
<a name="l00222"></a>00222 
<a name="l00223"></a>00223     assert((start == finish) || !start-&gt;isConstant());
<a name="l00224"></a>00224     <span class="keywordflow">while</span>((start != finish) &amp;&amp; 
<a name="l00225"></a>00225           (start-&gt;elseBranch().isEmpty()) &amp;&amp; (start-&gt;thenBranch() == navi)  ) {
<a name="l00226"></a>00226       navi = *start;
<a name="l00227"></a>00227       ++start;
<a name="l00228"></a>00228     }
<a name="l00229"></a>00229 
<a name="l00230"></a>00230     result = value_type(<a class="code" href="classpolybori_1_1CDDInterface.html">dd_type</a>(m_data, navi));
<a name="l00231"></a>00231 <span class="preprocessor">#endif</span>
<a name="l00232"></a>00232 <span class="preprocessor"></span>
<a name="l00233"></a>00233     <span class="keywordflow">while</span> (start != finish){
<a name="l00234"></a>00234       result.changeAssign(**start);
<a name="l00235"></a>00235       ++start;
<a name="l00236"></a>00236     }
<a name="l00237"></a>00237     
<a name="l00238"></a>00238     <span class="keywordflow">return</span> result;
<a name="l00239"></a>00239   }
<a name="l00240"></a>00240 };
<a name="l00241"></a>00241 
<a name="l00242"></a>00242 
<a name="l00243"></a>00243 <span class="keyword">template</span> &lt;&gt;
<a name="l00244"></a><a class="code" href="classpolybori_1_1CTermGenerator_3_01BooleMonomial_01_4.html">00244</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1CTermGenerator.html">CTermGenerator</a>&lt;<a class="code" href="classpolybori_1_1BooleMonomial.html" title="This class is just a wrapper for using variables from cudd&amp;#39;s decicion diagram...">BooleMonomial</a>&gt;:
<a name="l00245"></a>00245   <span class="keyword">public</span> <a class="code" href="classCTermGeneratorBase.html">CTermGeneratorBase</a>&lt;BooleMonomial&gt; {
<a name="l00246"></a>00246 <span class="keyword">public</span>:
<a name="l00247"></a><a class="code" href="classpolybori_1_1CTermGenerator_3_01BooleMonomial_01_4.html#f964d2cb446befbf92b3128c055f45da">00247</a>   <span class="keyword">typedef</span> <a class="code" href="classpolybori_1_1BooleMonomial.html" title="This class is just a wrapper for using variables from cudd&amp;#39;s decicion diagram...">BooleMonomial</a> <a class="code" href="classpolybori_1_1BooleMonomial.html" title="This class is just a wrapper for using variables from cudd&amp;#39;s decicion diagram...">term_type</a>;
<a name="l00248"></a><a class="code" href="classpolybori_1_1CTermGenerator_3_01BooleMonomial_01_4.html#3770687e56d965b1ac1651378bda038f">00248</a>   <span class="keyword">typedef</span> <a class="code" href="classCTermGeneratorBase.html">CTermGeneratorBase&lt;term_type&gt;</a> <a class="code" href="classCTermGeneratorBase.html">base</a>;
<a name="l00249"></a><a class="code" href="classpolybori_1_1CTermGenerator_3_01BooleMonomial_01_4.html#01f73b86857a8251729d78a8eaa20078">00249</a>   <span class="keyword">typedef</span> base::data_type data_type;
<a name="l00250"></a>00250 
<a name="l00251"></a><a class="code" href="classpolybori_1_1CTermGenerator_3_01BooleMonomial_01_4.html#3a290e7c199dc778eb83f314f17239af">00251</a>   <a class="code" href="classpolybori_1_1CTermGenerator_3_01BooleMonomial_01_4.html#3a290e7c199dc778eb83f314f17239af">CTermGenerator</a>(<span class="keyword">const</span> data_type&amp; data): <a class="code" href="classCTermGeneratorBase.html">base</a>(data) {}
<a name="l00252"></a><a class="code" href="classpolybori_1_1CTermGenerator_3_01BooleMonomial_01_4.html#4e62315afaa78ec7a5c6e6c08de76676">00252</a>   <a class="code" href="classpolybori_1_1CTermGenerator_3_01BooleMonomial_01_4.html#4e62315afaa78ec7a5c6e6c08de76676">CTermGenerator</a>(<span class="keyword">const</span> <a class="code" href="classpolybori_1_1CTermGenerator.html">CTermGenerator</a>&amp; rhs): <a class="code" href="classCTermGeneratorBase.html">base</a>(rhs) {}
<a name="l00253"></a><a class="code" href="classpolybori_1_1CTermGenerator_3_01BooleMonomial_01_4.html#557a429c8848d7c6130d53d093f5be34">00253</a>   <a class="code" href="classpolybori_1_1CTermGenerator_3_01BooleMonomial_01_4.html#557a429c8848d7c6130d53d093f5be34">CTermGenerator</a>(): <a class="code" href="classCTermGeneratorBase.html">base</a>() {}
<a name="l00254"></a>00254 };
<a name="l00255"></a>00255 
<a name="l00256"></a>00256 <a class="code" href="pbori__defs_8h.html#faf094fde6c1a7f1aad18bcb455f3b06" title="Finish project&amp;#39;s namespace.">END_NAMESPACE_PBORI</a>
<a name="l00257"></a>00257 
<a name="l00258"></a>00258 <span class="preprocessor">#endif</span>
</pre></div></div>
<hr size="1"><address style="text-align: right;"><small>Generated on Wed Sep 9 14:30:55 2009 for PolyBoRi by&nbsp;
<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>

Perl :: Catalyst :: PostgreSQL :: RPM Valid HTML 4.01 Transitional