<!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::BooleEnv Class 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_1BooleEnv.html">BooleEnv</a>
</div>
</div>
<div class="contents">
<h1>polybori::BooleEnv Class Reference</h1><!-- doxytag: class="polybori::BooleEnv" --><!-- doxytag: inherits="polybori::COrderEnums,polybori::CCompareEnums,polybori::CAuxTypes" -->This class is just a wrapper accessing global structures.
<a href="#_details">More...</a>
<p>
<code>#include <<a class="el" href="BooleEnv_8h_source.html">BooleEnv.h</a>></code>
<p>
<div class="dynheader">
Inheritance diagram for polybori::BooleEnv:</div>
<div class="dynsection">
<p><center><img src="classpolybori_1_1BooleEnv.png" usemap="#polybori::BooleEnv_map" border="0" alt=""></center>
<map name="polybori::BooleEnv_map">
<area href="structpolybori_1_1COrderEnums.html" alt="polybori::COrderEnums" shape="rect" coords="0,0,161,24">
<area href="structpolybori_1_1CCompareEnums.html" alt="polybori::CCompareEnums" shape="rect" coords="171,0,332,24">
<area href="structpolybori_1_1CAuxTypes.html" alt="polybori::CAuxTypes" shape="rect" coords="342,0,503,24">
</map>
</div>
<p>
<a href="classpolybori_1_1BooleEnv-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 <a class="el" href="classpolybori_1_1BooleEnv.html">BooleEnv</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleEnv.html#db6ca846101d027d1ff246c9ce2863ed">self</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">generic access to current type <a href="#db6ca846101d027d1ff246c9ce2863ed"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="structpolybori_1_1COrderEnums.html">CTypes::orderenums_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleEnv.html#3b0dcb96beb3f461b48e76c3c3f76fb1">base</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">generic access to base type <a href="#3b0dcb96beb3f461b48e76c3c3f76fb1"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef std::vector< <a class="el" href="structpolybori_1_1CAuxTypes.html#8c170014c637d9ecf5950063ca30ef46">idx_type</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleEnv.html#2b3631af83592e37e5a18c8542c65063">block_idx_type</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Type for block indices. <a href="#2b3631af83592e37e5a18c8542c65063"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <br class="typebreak">
block_idx_type::const_iterator </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleEnv.html#8e491ea092b64818436cef4162d9763b">block_iterator</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Type for block iterators. <a href="#8e491ea092b64818436cef4162d9763b"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1BoolePolyRing.html">BoolePolyRing</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleEnv.html#e018100ccc190a15f4d8ec787eedd46f">ring_type</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CDynamicOrderBase.html">CDynamicOrderBase</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleEnv.html#0b25103923e657202423590c26b8aa82">order_type</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">enum </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleEnv.html#c92593d81965933abfad8164d6f0ce2c">ordercodes</a> </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Explicitely mention ordercodes' enumeration. <a href="classpolybori_1_1BooleEnv.html#c92593d81965933abfad8164d6f0ce2c">More...</a><br></td></tr>
<tr><td colspan="2"><div class="groupHeader">adopt global type definitions</div></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="structpolybori_1_1CAuxTypes.html#11bd178c4d6ac58c4ce140e20f926afc">CTypes::ordercode_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleEnv.html#157e23210dabce8d60223558d5b2d37c">ordercode_type</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Type for ordering codes. <a href="#157e23210dabce8d60223558d5b2d37c"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classCDDManager.html">CTypes::manager_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleEnv.html#937547caa5a25dde928961c089a90882">manager_type</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classCDDManager.html">CTypes::manager_reference</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleEnv.html#9f739e8b904a60afd056dc021c98465c">manager_reference</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="structpolybori_1_1CTypes.html#6178bf94c86c467475afd3a2029c6b4c">CTypes::manager_ptr</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleEnv.html#fa222526310a3d32148dc257f94ce4c0">manager_ptr</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CDDInterface.html">CTypes::dd_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleEnv.html#b95336e7fa9451c8b3aed0189d0a65f2">dd_type</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="structpolybori_1_1CAuxTypes.html#5064c96eafe7bcf2b716dacb8b63113d">CTypes::vartext_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleEnv.html#550df0f408f6b3fd433ccc29bf9b6b82">vartext_type</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Type for setting/getting names of variables. <a href="#550df0f408f6b3fd433ccc29bf9b6b82"></a><br></td></tr>
<tr><td colspan="2"><br><h2>Static Public Member Functions</h2></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">static <a class="el" href="classpolybori_1_1CDDInterface.html">dd_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleEnv.html#673b5d81fa8e4e83426dc79c5486b19e">variable</a> (<a class="el" href="structpolybori_1_1CAuxTypes.html#8c170014c637d9ecf5950063ca30ef46">idx_type</a> idx)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Access idx-th variable of the active ring. <a href="#673b5d81fa8e4e83426dc79c5486b19e"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">static <a class="el" href="classpolybori_1_1CDDInterface.html">dd_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleEnv.html#41901b36db37a96199ac74924ba42345">persistentVariable</a> (<a class="el" href="structpolybori_1_1CAuxTypes.html#8c170014c637d9ecf5950063ca30ef46">idx_type</a> idx)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Access idx-th variable. <a href="#41901b36db37a96199ac74924ba42345"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">static <a class="el" href="classpolybori_1_1BooleEnv.html#157e23210dabce8d60223558d5b2d37c">ordercode_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleEnv.html#7aff43bcd6ecfc9e1eb6a71aafb412bc">getOrderCode</a> ()</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Get numerical code for current ordering. <a href="#7aff43bcd6ecfc9e1eb6a71aafb412bc"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">static <a class="el" href="classpolybori_1_1BooleEnv.html#157e23210dabce8d60223558d5b2d37c">ordercode_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleEnv.html#f07773d07976bd50fd1b147984627769">getBaseOrderCode</a> ()</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">static <a class="el" href="classpolybori_1_1CDDInterface.html">dd_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleEnv.html#949583e5a23552cf9a0ec4833e44b451">zero</a> ()</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Get empty decision diagram. <a href="#949583e5a23552cf9a0ec4833e44b451"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">static <a class="el" href="classpolybori_1_1CDDInterface.html">dd_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleEnv.html#c1e816f896f14643fa5f04b26be8fe43">one</a> ()</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Get decision diagram with all variables negated. <a href="#c1e816f896f14643fa5f04b26be8fe43"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">static <a class="el" href="structpolybori_1_1CAuxTypes.html#0e254f927049b57061437ac57ea5c2cd">size_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleEnv.html#8951be7b9ecc53c6972562e1efa82fa3">nVariables</a> ()</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Get number of ring variables the of active ring. <a href="#8951be7b9ecc53c6972562e1efa82fa3"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">static <a class="el" href="classpolybori_1_1BoolePolyRing.html">ring_type</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleEnv.html#28487f2cab3463f814a398056debb903">ring</a> ()</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">static <a class="el" href="classCDDManager.html">manager_type</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleEnv.html#e9ff9dad012385bed5b0dc4c76e6ec3b">manager</a> ()</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">static <a class="el" href="classpolybori_1_1CDynamicOrderBase.html">order_type</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleEnv.html#f57619358e29d86c34ba34bd56ea130d">ordering</a> ()</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">static void </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleEnv.html#eb408e1211ff459b12e43fd8a415d2a7">setVariableName</a> (<a class="el" href="structpolybori_1_1CAuxTypes.html#8c170014c637d9ecf5950063ca30ef46">idx_type</a> idx, <a class="el" href="classpolybori_1_1BooleEnv.html#550df0f408f6b3fd433ccc29bf9b6b82">vartext_type</a> varname)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Set name of variable with index idx. <a href="#eb408e1211ff459b12e43fd8a415d2a7"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">static <a class="el" href="classpolybori_1_1BooleEnv.html#550df0f408f6b3fd433ccc29bf9b6b82">vartext_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleEnv.html#ad0186fba11696dd5d752effb4b000eb">getVariableName</a> (<a class="el" href="structpolybori_1_1CAuxTypes.html#8c170014c637d9ecf5950063ca30ef46">idx_type</a> idx)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Get name of variable with index idx. <a href="#ad0186fba11696dd5d752effb4b000eb"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">static void </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleEnv.html#3fceabbd592f24b4ee3a803eb9526a91">changeOrdering</a> (<a class="el" href="classpolybori_1_1BooleEnv.html#157e23210dabce8d60223558d5b2d37c">ordercode_type</a> code)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Change order of current ring. <a href="#3fceabbd592f24b4ee3a803eb9526a91"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">static void </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleEnv.html#d2a6d834a28c3a0cd034323e6887068d">printInfo</a> ()</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">static void </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleEnv.html#99d91a616733b480b0d11e58d2d75bc2">set</a> (<a class="el" href="classpolybori_1_1BoolePolyRing.html">ring_type</a> &theRing)</td></tr>
<tr><td colspan="2"><div class="groupHeader">interface for block orderings</div></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">static <a class="el" href="classpolybori_1_1BooleEnv.html#8e491ea092b64818436cef4162d9763b">block_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleEnv.html#9c7ced2c27c7e9dab2694e8b04d8f4de">blockBegin</a> ()</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">static <a class="el" href="classpolybori_1_1BooleEnv.html#8e491ea092b64818436cef4162d9763b">block_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleEnv.html#a6a0f6e4b168df00cbe078204f9395bb">blockEnd</a> ()</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">static void </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleEnv.html#58982d15bcdce0931c5ce8346ecf1e19">appendBlock</a> (<a class="el" href="structpolybori_1_1CAuxTypes.html#8c170014c637d9ecf5950063ca30ef46">idx_type</a> idx)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">static void </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleEnv.html#227d77560b6655d1300151fb2fd19308">clearBlocks</a> ()</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">static <a class="el" href="structpolybori_1_1CAuxTypes.html#8c170014c637d9ecf5950063ca30ef46">idx_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleEnv.html#b91e6b85a5a588961465f94a83e9f92e">lastBlockStart</a> ()</td></tr>
</table>
<hr><a name="_details"></a><h2>Detailed Description</h2>
This class is just a wrapper accessing global structures. <hr><h2>Member Typedef Documentation</h2>
<a class="anchor" name="3b0dcb96beb3f461b48e76c3c3f76fb1"></a><!-- doxytag: member="polybori::BooleEnv::base" ref="3b0dcb96beb3f461b48e76c3c3f76fb1" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="structpolybori_1_1COrderEnums.html">CTypes::orderenums_type</a> <a class="el" href="structpolybori_1_1COrderEnums.html">polybori::BooleEnv::base</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
generic access to base type
<p>
</div>
</div><p>
<a class="anchor" name="2b3631af83592e37e5a18c8542c65063"></a><!-- doxytag: member="polybori::BooleEnv::block_idx_type" ref="2b3631af83592e37e5a18c8542c65063" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef std::vector<<a class="el" href="structpolybori_1_1CAuxTypes.html#8c170014c637d9ecf5950063ca30ef46">idx_type</a>> <a class="el" href="classpolybori_1_1BooleEnv.html#2b3631af83592e37e5a18c8542c65063">polybori::BooleEnv::block_idx_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Type for block indices.
<p>
</div>
</div><p>
<a class="anchor" name="8e491ea092b64818436cef4162d9763b"></a><!-- doxytag: member="polybori::BooleEnv::block_iterator" ref="8e491ea092b64818436cef4162d9763b" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef block_idx_type::const_iterator <a class="el" href="classpolybori_1_1BooleEnv.html#8e491ea092b64818436cef4162d9763b">polybori::BooleEnv::block_iterator</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Type for block iterators.
<p>
</div>
</div><p>
<a class="anchor" name="b95336e7fa9451c8b3aed0189d0a65f2"></a><!-- doxytag: member="polybori::BooleEnv::dd_type" ref="b95336e7fa9451c8b3aed0189d0a65f2" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classpolybori_1_1CDDInterface.html">CTypes::dd_type</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::BooleEnv::dd_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="fa222526310a3d32148dc257f94ce4c0"></a><!-- doxytag: member="polybori::BooleEnv::manager_ptr" ref="fa222526310a3d32148dc257f94ce4c0" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="structpolybori_1_1CTypes.html#6178bf94c86c467475afd3a2029c6b4c">CTypes::manager_ptr</a> <a class="el" href="classpolybori_1_1BooleEnv.html#fa222526310a3d32148dc257f94ce4c0">polybori::BooleEnv::manager_ptr</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="9f739e8b904a60afd056dc021c98465c"></a><!-- doxytag: member="polybori::BooleEnv::manager_reference" ref="9f739e8b904a60afd056dc021c98465c" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classCDDManager.html">CTypes::manager_reference</a> <a class="el" href="classCDDManager.html">polybori::BooleEnv::manager_reference</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="937547caa5a25dde928961c089a90882"></a><!-- doxytag: member="polybori::BooleEnv::manager_type" ref="937547caa5a25dde928961c089a90882" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classCDDManager.html">CTypes::manager_type</a> <a class="el" href="classCDDManager.html">polybori::BooleEnv::manager_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="0b25103923e657202423590c26b8aa82"></a><!-- doxytag: member="polybori::BooleEnv::order_type" ref="0b25103923e657202423590c26b8aa82" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classpolybori_1_1CDynamicOrderBase.html">CDynamicOrderBase</a> <a class="el" href="classpolybori_1_1CDynamicOrderBase.html">polybori::BooleEnv::order_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="157e23210dabce8d60223558d5b2d37c"></a><!-- doxytag: member="polybori::BooleEnv::ordercode_type" ref="157e23210dabce8d60223558d5b2d37c" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="structpolybori_1_1CAuxTypes.html#11bd178c4d6ac58c4ce140e20f926afc">CTypes::ordercode_type</a> <a class="el" href="classpolybori_1_1BooleEnv.html#157e23210dabce8d60223558d5b2d37c">polybori::BooleEnv::ordercode_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Type for ordering codes.
<p>
<p>Reimplemented from <a class="el" href="structpolybori_1_1CAuxTypes.html#11bd178c4d6ac58c4ce140e20f926afc">polybori::CAuxTypes</a>.</p>
</div>
</div><p>
<a class="anchor" name="e018100ccc190a15f4d8ec787eedd46f"></a><!-- doxytag: member="polybori::BooleEnv::ring_type" ref="e018100ccc190a15f4d8ec787eedd46f" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classpolybori_1_1BoolePolyRing.html">BoolePolyRing</a> <a class="el" href="classpolybori_1_1BoolePolyRing.html">polybori::BooleEnv::ring_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="db6ca846101d027d1ff246c9ce2863ed"></a><!-- doxytag: member="polybori::BooleEnv::self" ref="db6ca846101d027d1ff246c9ce2863ed" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classpolybori_1_1BooleEnv.html">BooleEnv</a> <a class="el" href="classpolybori_1_1BooleEnv.html">polybori::BooleEnv::self</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
generic access to current type
<p>
</div>
</div><p>
<a class="anchor" name="550df0f408f6b3fd433ccc29bf9b6b82"></a><!-- doxytag: member="polybori::BooleEnv::vartext_type" ref="550df0f408f6b3fd433ccc29bf9b6b82" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="structpolybori_1_1CAuxTypes.html#5064c96eafe7bcf2b716dacb8b63113d">CTypes::vartext_type</a> <a class="el" href="classpolybori_1_1BooleEnv.html#550df0f408f6b3fd433ccc29bf9b6b82">polybori::BooleEnv::vartext_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Type for setting/getting names of variables.
<p>
<p>Reimplemented from <a class="el" href="structpolybori_1_1CAuxTypes.html#5064c96eafe7bcf2b716dacb8b63113d">polybori::CAuxTypes</a>.</p>
</div>
</div><p>
<hr><h2>Member Enumeration Documentation</h2>
<a class="anchor" name="c92593d81965933abfad8164d6f0ce2c"></a><!-- doxytag: member="polybori::BooleEnv::ordercodes" ref="c92593d81965933abfad8164d6f0ce2c" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">enum <a class="el" href="structpolybori_1_1COrderEnums.html#c92593d81965933abfad8164d6f0ce2c">polybori::COrderEnums::ordercodes</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Explicitely mention ordercodes' enumeration.
<p>
</div>
</div><p>
<hr><h2>Member Function Documentation</h2>
<a class="anchor" name="58982d15bcdce0931c5ce8346ecf1e19"></a><!-- doxytag: member="polybori::BooleEnv::appendBlock" ref="58982d15bcdce0931c5ce8346ecf1e19" args="(idx_type idx)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">void polybori::BooleEnv::appendBlock </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structpolybori_1_1CAuxTypes.html#8c170014c637d9ecf5950063ca30ef46">idx_type</a> </td>
<td class="paramname"> <em>idx</em> </td>
<td> ) </td>
<td><code> [static]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>References <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#37fe350af51395d55e6bffbc7eb79ce9">polybori::CDynamicOrderBase::appendBlock()</a>, and <a class="el" href="BooleEnv_8cc_source.html#l00085">ordering()</a>.</p>
</div>
</div><p>
<a class="anchor" name="9c7ced2c27c7e9dab2694e8b04d8f4de"></a><!-- doxytag: member="polybori::BooleEnv::blockBegin" ref="9c7ced2c27c7e9dab2694e8b04d8f4de" args="()" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleEnv.html#8e491ea092b64818436cef4162d9763b">BooleEnv::block_iterator</a> polybori::BooleEnv::blockBegin </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td><code> [static]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>References <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#4de0fc4f61e3ba9135ca16433ba65298">polybori::CDynamicOrderBase::blockBegin()</a>, and <a class="el" href="BooleEnv_8cc_source.html#l00085">ordering()</a>.</p>
</div>
</div><p>
<a class="anchor" name="a6a0f6e4b168df00cbe078204f9395bb"></a><!-- doxytag: member="polybori::BooleEnv::blockEnd" ref="a6a0f6e4b168df00cbe078204f9395bb" args="()" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleEnv.html#8e491ea092b64818436cef4162d9763b">BooleEnv::block_iterator</a> polybori::BooleEnv::blockEnd </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td><code> [static]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>References <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#6f424f6000ec91ee8d8157e8ca8d8770">polybori::CDynamicOrderBase::blockEnd()</a>, and <a class="el" href="BooleEnv_8cc_source.html#l00085">ordering()</a>.</p>
</div>
</div><p>
<a class="anchor" name="3fceabbd592f24b4ee3a803eb9526a91"></a><!-- doxytag: member="polybori::BooleEnv::changeOrdering" ref="3fceabbd592f24b4ee3a803eb9526a91" args="(ordercode_type code)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">void polybori::BooleEnv::changeOrdering </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classpolybori_1_1BooleEnv.html#157e23210dabce8d60223558d5b2d37c">ordercode_type</a> </td>
<td class="paramname"> <em>code</em> </td>
<td> ) </td>
<td><code> [static]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Change order of current ring.
<p>
<p>References <a class="el" href="BoolePolyRing_8cc_source.html#l00195">polybori::BoolePolyRing::changeOrdering()</a>, and <a class="el" href="BooleEnv_8h_source.html#l00118">ring()</a>.</p>
</div>
</div><p>
<a class="anchor" name="227d77560b6655d1300151fb2fd19308"></a><!-- doxytag: member="polybori::BooleEnv::clearBlocks" ref="227d77560b6655d1300151fb2fd19308" args="()" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">void polybori::BooleEnv::clearBlocks </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td><code> [static]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>References <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#cdb4913663bbd9d8b279567e9f8f936a">polybori::CDynamicOrderBase::clearBlocks()</a>, and <a class="el" href="BooleEnv_8cc_source.html#l00085">ordering()</a>.</p>
</div>
</div><p>
<a class="anchor" name="f07773d07976bd50fd1b147984627769"></a><!-- doxytag: member="polybori::BooleEnv::getBaseOrderCode" ref="f07773d07976bd50fd1b147984627769" args="()" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleEnv.html#157e23210dabce8d60223558d5b2d37c">BooleEnv::ordercode_type</a> polybori::BooleEnv::getBaseOrderCode </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td><code> [static]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Get numerical code for current base ordering (the same for non-block orderings)
<p>References <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#17287e54872112443d8d5633fad63be1">polybori::CDynamicOrderBase::getBaseOrderCode()</a>, and <a class="el" href="BooleEnv_8cc_source.html#l00085">ordering()</a>.</p>
</div>
</div><p>
<a class="anchor" name="7aff43bcd6ecfc9e1eb6a71aafb412bc"></a><!-- doxytag: member="polybori::BooleEnv::getOrderCode" ref="7aff43bcd6ecfc9e1eb6a71aafb412bc" args="()" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleEnv.html#157e23210dabce8d60223558d5b2d37c">BooleEnv::ordercode_type</a> polybori::BooleEnv::getOrderCode </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td><code> [static]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Get numerical code for current ordering.
<p>
<p>References <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#5e5fe2c35b1c909c92622f1cb180a401">polybori::CDynamicOrderBase::getOrderCode()</a>, and <a class="el" href="BooleEnv_8cc_source.html#l00085">ordering()</a>.</p>
</div>
</div><p>
<a class="anchor" name="ad0186fba11696dd5d752effb4b000eb"></a><!-- doxytag: member="polybori::BooleEnv::getVariableName" ref="ad0186fba11696dd5d752effb4b000eb" args="(idx_type idx)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleEnv.html#550df0f408f6b3fd433ccc29bf9b6b82">BooleEnv::vartext_type</a> polybori::BooleEnv::getVariableName </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structpolybori_1_1CAuxTypes.html#8c170014c637d9ecf5950063ca30ef46">idx_type</a> </td>
<td class="paramname"> <em>idx</em> </td>
<td> ) </td>
<td><code> [static]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Get name of variable with index idx.
<p>
<p>References <a class="el" href="BooleEnv_8cc_source.html#l00083">manager()</a>.</p>
</div>
</div><p>
<a class="anchor" name="b91e6b85a5a588961465f94a83e9f92e"></a><!-- doxytag: member="polybori::BooleEnv::lastBlockStart" ref="b91e6b85a5a588961465f94a83e9f92e" args="()" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structpolybori_1_1CAuxTypes.html#8c170014c637d9ecf5950063ca30ef46">BooleEnv::idx_type</a> polybori::BooleEnv::lastBlockStart </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td><code> [static]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>References <a class="el" href="BoolePolyRing_8h_source.html#l00249">polybori::BoolePolyRing::lastBlockStart()</a>.</p>
</div>
</div><p>
<a class="anchor" name="e9ff9dad012385bed5b0dc4c76e6ec3b"></a><!-- doxytag: member="polybori::BooleEnv::manager" ref="e9ff9dad012385bed5b0dc4c76e6ec3b" args="()" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classCDDManager.html">BooleEnv::manager_type</a> & polybori::BooleEnv::manager </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td><code> [static]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>References <a class="el" href="BooleRing_8h_source.html#l00089">polybori::BooleRing::manager()</a>, and <a class="el" href="BooleEnv_8h_source.html#l00118">ring()</a>.</p>
<p>Referenced by <a class="el" href="BooleEnv_8cc_source.html#l00114">getVariableName()</a>, <a class="el" href="BooleEnv_8cc_source.html#l00098">nVariables()</a>, <a class="el" href="BooleEnv_8cc_source.html#l00155">persistentVariable()</a>, <a class="el" href="BooleEnv_8cc_source.html#l00108">setVariableName()</a>, and <a class="el" href="BooleEnv_8cc_source.html#l00149">variable()</a>.</p>
</div>
</div><p>
<a class="anchor" name="8951be7b9ecc53c6972562e1efa82fa3"></a><!-- doxytag: member="polybori::BooleEnv::nVariables" ref="8951be7b9ecc53c6972562e1efa82fa3" args="()" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structpolybori_1_1CAuxTypes.html#0e254f927049b57061437ac57ea5c2cd">BooleEnv::size_type</a> polybori::BooleEnv::nVariables </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td><code> [static]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Get number of ring variables the of active ring.
<p>
<p>References <a class="el" href="BooleEnv_8cc_source.html#l00083">manager()</a>.</p>
</div>
</div><p>
<a class="anchor" name="c1e816f896f14643fa5f04b26be8fe43"></a><!-- doxytag: member="polybori::BooleEnv::one" ref="c1e816f896f14643fa5f04b26be8fe43" args="()" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">BooleEnv::dd_type</a> polybori::BooleEnv::one </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td><code> [static]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Get decision diagram with all variables negated.
<p>
<p>References <a class="el" href="BooleRing_8h_source.html#l00109">polybori::BooleRing::one()</a>, and <a class="el" href="BooleEnv_8h_source.html#l00118">ring()</a>.</p>
</div>
</div><p>
<a class="anchor" name="f57619358e29d86c34ba34bd56ea130d"></a><!-- doxytag: member="polybori::BooleEnv::ordering" ref="f57619358e29d86c34ba34bd56ea130d" args="()" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDynamicOrderBase.html">BooleEnv::order_type</a> & polybori::BooleEnv::ordering </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td><code> [static]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>References <a class="el" href="BoolePolyRing_8h_source.html#l00260">polybori::BoolePolyRing::ordering()</a>, and <a class="el" href="BooleEnv_8h_source.html#l00118">ring()</a>.</p>
<p>Referenced by <a class="el" href="nf_8cc_source.html#l00561">polybori::groebner::PolynomialSugar::add()</a>, <a class="el" href="BooleEnv_8cc_source.html#l00063">appendBlock()</a>, <a class="el" href="BooleEnv_8cc_source.html#l00052">blockBegin()</a>, <a class="el" href="BooleEnv_8cc_source.html#l00058">blockEnd()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00641">polybori::BoolePolynomial::boundedLead()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00663">polybori::BoolePolynomial::boundedLeadExp()</a>, <a class="el" href="BooleEnv_8cc_source.html#l00068">clearBlocks()</a>, <a class="el" href="BooleMonomial_8cc_source.html#l00194">polybori::BooleMonomial::compare()</a>, <a class="el" href="BooleExponent_8cc_source.html#l00342">polybori::BooleExponent::compare()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l01225">polybori::BoolePolynomial::eliminationLength()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l01255">polybori::BoolePolynomial::eliminationLengthWithDegBound()</a>, <a class="el" href="BooleEnv_8cc_source.html#l00135">getBaseOrderCode()</a>, <a class="el" href="BooleEnv_8cc_source.html#l00129">getOrderCode()</a>, <a class="el" href="BooleMonomial_8cc_source.html#l00335">polybori::greater_variable()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00619">polybori::BoolePolynomial::lead()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00652">polybori::BoolePolynomial::leadExp()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l01172">polybori::BoolePolynomial::leadFirst()</a>, <a class="el" href="literal__factorization_8cc_source.html#l00198">polybori::groebner::LiteralFactorization::LiteralFactorization()</a>, <a class="el" href="nf_8cc_source.html#l02529">polybori::groebner::GroebnerStrategy::nf()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00928">polybori::BoolePolynomial::orderedBegin()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00936">polybori::BoolePolynomial::orderedEnd()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00944">polybori::BoolePolynomial::orderedExpBegin()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00952">polybori::BoolePolynomial::orderedExpEnd()</a>, <a class="el" href="groebner__alg_8cc_source.html#l01517">polybori::groebner::polynomial_in_one_block()</a>, <a class="el" href="groebner__alg_8cc_source.html#l00698">polybori::groebner::PolyEntry::recomputeInformation()</a>, <a class="el" href="nf_8cc_source.html#l01724">polybori::groebner::red_tail()</a>, <a class="el" href="nf_8cc_source.html#l01521">polybori::groebner::red_tail_general()</a>, and <a class="el" href="nf_8cc_source.html#l01067">polybori::groebner::select1()</a>.</p>
</div>
</div><p>
<a class="anchor" name="41901b36db37a96199ac74924ba42345"></a><!-- doxytag: member="polybori::BooleEnv::persistentVariable" ref="41901b36db37a96199ac74924ba42345" args="(idx_type idx)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">BooleEnv::dd_type</a> polybori::BooleEnv::persistentVariable </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structpolybori_1_1CAuxTypes.html#8c170014c637d9ecf5950063ca30ef46">idx_type</a> </td>
<td class="paramname"> <em>idx</em> </td>
<td> ) </td>
<td><code> [static]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Access idx-th variable.
<p>
<p>References <a class="el" href="BooleEnv_8cc_source.html#l00083">manager()</a>.</p>
</div>
</div><p>
<a class="anchor" name="d2a6d834a28c3a0cd034323e6887068d"></a><!-- doxytag: member="polybori::BooleEnv::printInfo" ref="d2a6d834a28c3a0cd034323e6887068d" args="()" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">void polybori::BooleEnv::printInfo </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td><code> [static]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>References <a class="el" href="BooleRing_8h_source.html#l00118">polybori::BooleRing::printInfo()</a>, and <a class="el" href="BooleEnv_8h_source.html#l00118">ring()</a>.</p>
</div>
</div><p>
<a class="anchor" name="28487f2cab3463f814a398056debb903"></a><!-- doxytag: member="polybori::BooleEnv::ring" ref="28487f2cab3463f814a398056debb903" args="()" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">static <a class="el" href="classpolybori_1_1BoolePolyRing.html">ring_type</a>& polybori::BooleEnv::ring </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td><code> [inline, static]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>References <a class="el" href="BooleEnv_8cc_source.html#l00045">polybori::active_ring</a>.</p>
<p>Referenced by <a class="el" href="groebner__alg_8cc_source.html#l01590">polybori::groebner::GroebnerStrategy::add4ImplDelayed()</a>, <a class="el" href="groebner__alg_8cc_source.html#l01523">polybori::groebner::GroebnerStrategy::addHigherImplDelayedUsing4()</a>, <a class="el" href="BooleEnv_8cc_source.html#l00121">changeOrdering()</a>, <a class="el" href="BooleEnv_8cc_source.html#l00083">manager()</a>, <a class="el" href="groebner__alg_8cc_source.html#l01220">polybori::groebner::minimal_elements_internal3()</a>, <a class="el" href="BooleEnv_8cc_source.html#l00095">one()</a>, <a class="el" href="BooleEnv_8cc_source.html#l00085">ordering()</a>, <a class="el" href="nf_8cc_source.html#l00884">polybori::groebner::parallel_reduce()</a>, <a class="el" href="BooleEnv_8cc_source.html#l00141">printInfo()</a>, <a class="el" href="groebner__alg_8cc_source.html#l02562">polybori::groebner::red_tail_in_last_block()</a>, <a class="el" href="groebner__alg_8cc_source.html#l02738">polybori::groebner::GroebnerStrategy::suggestPluginVariable()</a>, <a class="el" href="lexbuckets_8cc_source.html#l00103">polybori::groebner::LexBucket::updateTailStart()</a>, and <a class="el" href="BooleEnv_8cc_source.html#l00092">zero()</a>.</p>
</div>
</div><p>
<a class="anchor" name="99d91a616733b480b0d11e58d2d75bc2"></a><!-- doxytag: member="polybori::BooleEnv::set" ref="99d91a616733b480b0d11e58d2d75bc2" args="(ring_type &theRing)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">void polybori::BooleEnv::set </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classpolybori_1_1BoolePolyRing.html">ring_type</a> & </td>
<td class="paramname"> <em>theRing</em> </td>
<td> ) </td>
<td><code> [static]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>Referenced by <a class="el" href="BoolePolyRing_8cc_source.html#l00205">polybori::BoolePolyRing::activate()</a>.</p>
</div>
</div><p>
<a class="anchor" name="eb408e1211ff459b12e43fd8a415d2a7"></a><!-- doxytag: member="polybori::BooleEnv::setVariableName" ref="eb408e1211ff459b12e43fd8a415d2a7" args="(idx_type idx, vartext_type varname)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">void polybori::BooleEnv::setVariableName </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structpolybori_1_1CAuxTypes.html#8c170014c637d9ecf5950063ca30ef46">idx_type</a> </td>
<td class="paramname"> <em>idx</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="classpolybori_1_1BooleEnv.html#550df0f408f6b3fd433ccc29bf9b6b82">vartext_type</a> </td>
<td class="paramname"> <em>varname</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td><code> [static]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Set name of variable with index idx.
<p>
<p>References <a class="el" href="BooleEnv_8cc_source.html#l00083">manager()</a>.</p>
</div>
</div><p>
<a class="anchor" name="673b5d81fa8e4e83426dc79c5486b19e"></a><!-- doxytag: member="polybori::BooleEnv::variable" ref="673b5d81fa8e4e83426dc79c5486b19e" args="(idx_type idx)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">BooleEnv::dd_type</a> polybori::BooleEnv::variable </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structpolybori_1_1CAuxTypes.html#8c170014c637d9ecf5950063ca30ef46">idx_type</a> </td>
<td class="paramname"> <em>idx</em> </td>
<td> ) </td>
<td><code> [static]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Access idx-th variable of the active ring.
<p>
<p>References <a class="el" href="BooleEnv_8cc_source.html#l00083">manager()</a>.</p>
</div>
</div><p>
<a class="anchor" name="949583e5a23552cf9a0ec4833e44b451"></a><!-- doxytag: member="polybori::BooleEnv::zero" ref="949583e5a23552cf9a0ec4833e44b451" args="()" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">BooleEnv::dd_type</a> polybori::BooleEnv::zero </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td><code> [static]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Get empty decision diagram.
<p>
<p>References <a class="el" href="BooleEnv_8h_source.html#l00118">ring()</a>, and <a class="el" href="BooleRing_8h_source.html#l00106">polybori::BooleRing::zero()</a>.</p>
</div>
</div><p>
<hr>The documentation for this class was generated from the following files:<ul>
<li><a class="el" href="BooleEnv_8h_source.html">BooleEnv.h</a><li><a class="el" href="BooleEnv_8cc.html">BooleEnv.cc</a></ul>
</div>
<hr size="1"><address style="text-align: right;"><small>Generated on Wed Sep 9 14:31:00 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>
distrib
>
Mandriva
>
2010.0
>
i586
>
media
>
contrib-release
>
by-pkgid
>
a24e1a39141f9b4ca49bd1e2e23a54ba
>
files
>
173
