\indexentry{BDD|hyperpage}{4}
\indexentry{ADD|hyperpage}{4}
\indexentry{ZDD|hyperpage}{4}
\indexentry{function!switching|hyperpage}{4}
\indexentry{function!switching|hyperpage}{4}
\indexentry{function!characteristic|hyperpage}{4}
\indexentry{cube sets|hyperpage}{4}
\indexentry{function!ON-set|hyperpage}{4}
\indexentry{reordering|hyperpage}{4}
\indexentry{box!black|hyperpage}{4}
\indexentry{reordering|hyperpage}{4}
\indexentry{box!clear|hyperpage}{4}
\indexentry{reordering!dynamic|hyperpage}{4}
\indexentry{FTP|hyperpage}{5}
\indexentry{gzip|hyperpage}{5}
\indexentry{libraries|hyperpage}{5}
\indexentry{README file|hyperpage}{5}
\indexentry{configuration|hyperpage}{5}
\indexentry{installation|hyperpage}{5}
\indexentry{nanotrav|hyperpage}{5}
\indexentry{nanotrav|hyperpage}{5}
\indexentry{README file|hyperpage}{5}
\indexentry{FTP|hyperpage}{5}
\indexentry{compiling|hyperpage}{6}
\indexentry{cudd.h|hyperpage}{6}
\indexentry{libraries!cudd|hyperpage}{6}
\indexentry{DdNode|hyperpage}{6}
\indexentry{node|hyperpage}{6}
\indexentry{node!variable index|hyperpage}{6}
\indexentry{node!reference count|hyperpage}{6}
\indexentry{table!unique|hyperpage}{6}
\indexentry{variable!order|hyperpage}{6}
\indexentry{node!constant|hyperpage}{6}
\indexentry{variable!permutation|hyperpage}{6}
\indexentry{reordering|hyperpage}{6}
\indexentry{generator|hyperpage}{7}
\indexentry{Cudd\_ForeachCube@\emph  {Cudd\_ForeachCube}|hyperpage}{7}
\indexentry{Cudd\_ForeachNode@\emph  {Cudd\_ForeachNode}|hyperpage}{7}
\indexentry{Cudd\_bddConstrain@\emph  {Cudd\_bddConstrain}|hyperpage}{7}
\indexentry{garbage collection|hyperpage}{7}
\indexentry{node!reference count|hyperpage}{7}
\indexentry{BDD|hyperpage}{7}
\indexentry{ADD|hyperpage}{7}
\indexentry{ZDD|hyperpage}{7}
\indexentry{Cudd\_Ref@\emph  {Cudd\_Ref}|hyperpage}{7}
\indexentry{Cudd\_RecursiveDeref@\emph  {Cudd\_RecursiveDeref}|hyperpage}{7}
\indexentry{Cudd\_RecursiveDerefZdd@\emph  {Cudd\_RecursiveDerefZdd}|hyperpage}{7}
\indexentry{node!recycling|hyperpage}{7}
\indexentry{node!constant!value|hyperpage}{7}
\indexentry{floating point!double (C type)|hyperpage}{7}
\indexentry{manager|hyperpage}{7}
\indexentry{table!hash|hyperpage}{7}
\indexentry{table!unique|hyperpage}{7}
\indexentry{canonical|hyperpage}{7}
\indexentry{table!unique|hyperpage}{7}
\indexentry{DdManager|hyperpage}{7}
\indexentry{manager|hyperpage}{7}
\indexentry{cache|hyperpage}{8}
\indexentry{table!computed|hyperpage}{8}
\indexentry{cache|hyperpage}{8}
\indexentry{garbage collection|hyperpage}{8}
\indexentry{cache|hyperpage}{8}
\indexentry{DdManager|hyperpage}{8}
\indexentry{Cudd\_Init@\emph  {Cudd\_Init}|hyperpage}{8}
\indexentry{numVars|hyperpage}{8}
\indexentry{numVarsZ|hyperpage}{8}
\indexentry{numSlots|hyperpage}{8}
\indexentry{subtable|hyperpage}{8}
\indexentry{table!unique|hyperpage}{8}
\indexentry{CUDD\_UNIQUE\_SLOTS|hyperpage}{8}
\indexentry{cacheSize|hyperpage}{8}
\indexentry{cache|hyperpage}{8}
\indexentry{CUDD\_CACHE\_SLOTS|hyperpage}{8}
\indexentry{maxMemory|hyperpage}{9}
\indexentry{table!unique|hyperpage}{9}
\indexentry{Cudd\_Init@\emph  {Cudd\_Init}|hyperpage}{9}
\indexentry{Cudd\_Quit@\emph  {Cudd\_Quit}|hyperpage}{9}
\indexentry{table!unique|hyperpage}{9}
\indexentry{table!growth|hyperpage}{9}
\indexentry{garbage collection|hyperpage}{9}
\indexentry{growth|hyperpage}{9}
\indexentry{Cudd\_ReadLooseUpto@\emph  {Cudd\_ReadLooseUpto}|hyperpage}{9}
\indexentry{Cudd\_SetLooseUpTo@\emph  {Cudd\_SetLooseUpTo}|hyperpage}{9}
\indexentry{node!constant|hyperpage}{9}
\indexentry{manager|hyperpage}{9}
\indexentry{zero!logical|hyperpage}{9}
\indexentry{zero!arithmetic|hyperpage}{9}
\indexentry{node!constant|hyperpage}{9}
\indexentry{Cudd\_ReadOne@\emph  {Cudd\_ReadOne}|hyperpage}{9}
\indexentry{Cudd\_ReadZddOne@\emph  {Cudd\_ReadZddOne}|hyperpage}{10}
\indexentry{BDD|hyperpage}{10}
\indexentry{Cudd\_Not@\emph  {Cudd\_Not}|hyperpage}{10}
\indexentry{Cudd\_ReadLogicZero@\emph  {Cudd\_ReadLogicZero}|hyperpage}{10}
\indexentry{Cudd\_ReadZero@\emph  {Cudd\_ReadZero}|hyperpage}{10}
\indexentry{node!constant|hyperpage}{10}
\indexentry{PlusInfinity|hyperpage}{10}
\indexentry{MinusInfinity|hyperpage}{10}
\indexentry{floating point!IEEE Standard 754|hyperpage}{10}
\indexentry{floating point|hyperpage}{10}
\indexentry{infinities|hyperpage}{10}
\indexentry{Cudd\_ReadPlusInfinity@\emph  {Cudd\_ReadPlusInfinity}|hyperpage}{10}
\indexentry{Cudd\_ReadMinusInfinity@\emph  {Cudd\_ReadMinusInfinity}|hyperpage}{10}
\indexentry{Epsilon|hyperpage}{10}
\indexentry{Cudd\_ReadEpsilon@\emph  {Cudd\_ReadEpsilon}|hyperpage}{10}
\indexentry{Cudd\_SetEpsilon@\emph  {Cudd\_SetEpsilon}|hyperpage}{10}
\indexentry{background value|hyperpage}{10}
\indexentry{node!constant|hyperpage}{10}
\indexentry{graph!arc length|hyperpage}{10}
\indexentry{PlusInfinity|hyperpage}{10}
\indexentry{graph!arc capacity|hyperpage}{10}
\indexentry{matrix!sparse|hyperpage}{10}
\indexentry{Cudd\_ReadBackground@\emph  {Cudd\_ReadBackground}|hyperpage}{10}
\indexentry{Cudd\_addRead@\emph  {Cudd\_addRead}|hyperpage}{10}
\indexentry{Cudd\_addHarwell@\emph  {Cudd\_addHarwell}|hyperpage}{10}
\indexentry{function!sum of products|hyperpage}{10}
\indexentry{Cudd\_PrintMinterm@\emph  {Cudd\_PrintMinterm}|hyperpage}{10}
\indexentry{Cudd\_ForeachCube@\emph  {Cudd\_ForeachCube}|hyperpage}{10}
\indexentry{function!minterms|hyperpage}{10}
\indexentry{Cudd\_CountMinterm@\emph  {Cudd\_CountMinterm}|hyperpage}{10}
\indexentry{node!constant|hyperpage}{11}
\indexentry{Cudd\_addConst@\emph  {Cudd\_addConst}|hyperpage}{11}
\indexentry{ADD|hyperpage}{11}
\indexentry{projection functions|hyperpage}{11}
\indexentry{projection functions|hyperpage}{11}
\indexentry{arc!complement|hyperpage}{11}
\indexentry{zero!arithmetic|hyperpage}{11}
\indexentry{Cudd\_bddIthVar@\emph  {Cudd\_bddIthVar}|hyperpage}{11}
\indexentry{projection functions|hyperpage}{11}
\indexentry{Cudd\_bddNewVar@\emph  {Cudd\_bddNewVar}|hyperpage}{11}
\indexentry{projection functions|hyperpage}{11}
\indexentry{Cudd\_bddNewVarAtLevel@\emph  {Cudd\_bddNewVarAtLevel}|hyperpage}{11}
\indexentry{Cudd\_bddNewVar@\emph  {Cudd\_bddNewVar}|hyperpage}{11}
\indexentry{variable!order|hyperpage}{11}
\indexentry{Cudd\_bddNewVar@\emph  {Cudd\_bddNewVar}|hyperpage}{11}
\indexentry{Cudd\_addIthVar@\emph  {Cudd\_addIthVar}|hyperpage}{11}
\indexentry{Cudd\_addNewVar@\emph  {Cudd\_addNewVar}|hyperpage}{11}
\indexentry{Cudd\_addNewVarAtLevel@\emph  {Cudd\_addNewVarAtLevel}|hyperpage}{11}
\indexentry{ZDD|hyperpage}{11}
\indexentry{projection functions|hyperpage}{11}
\indexentry{Cudd\_zddIthVar@\emph  {Cudd\_zddIthVar}|hyperpage}{12}
\indexentry{BDD|hyperpage}{12}
\indexentry{Cudd\_bddIte@\emph  {Cudd\_bddIte}|hyperpage}{12}
\indexentry{Cudd\_bddAnd@\emph  {Cudd\_bddAnd}|hyperpage}{12}
\indexentry{projection functions|hyperpage}{12}
\indexentry{node!reference count|hyperpage}{12}
\indexentry{Cudd\_Ref@\emph  {Cudd\_Ref}|hyperpage}{12}
\indexentry{Cudd\_bddAnd@\emph  {Cudd\_bddAnd}|hyperpage}{12}
\indexentry{node!reference count|hyperpage}{13}
\indexentry{Cudd\_ReadInvPerm@\emph  {Cudd\_ReadInvPerm}|hyperpage}{13}
\indexentry{ADD|hyperpage}{13}
\indexentry{Cudd\_addApply@\emph  {Cudd\_addApply}|hyperpage}{13}
\indexentry{projection functions|hyperpage}{14}
\indexentry{node!reference|hyperpage}{14}
\indexentry{node!dereference|hyperpage}{14}
\indexentry{Cudd\_addApply@\emph  {Cudd\_addApply}|hyperpage}{14}
\indexentry{Cudd\_addTimes@\emph  {Cudd\_addTimes}|hyperpage}{14}
\indexentry{Cudd\_bddAnd@\emph  {Cudd\_bddAnd}|hyperpage}{14}
\indexentry{Cudd\_bddXor@\emph  {Cudd\_bddXor}|hyperpage}{14}
\indexentry{ZDD|hyperpage}{14}
\indexentry{conversion!of BDDs to ZDDs|hyperpage}{14}
\indexentry{projection functions|hyperpage}{14}
\indexentry{projection functions|hyperpage}{15}
\indexentry{Cudd\_ReadZddOne@\emph  {Cudd\_ReadZddOne}|hyperpage}{15}
\indexentry{function!cover|hyperpage}{15}
\indexentry{Cudd\_zddIsop@\emph  {Cudd\_zddIsop}|hyperpage}{15}
\indexentry{function!cover!irredundant|hyperpage}{15}
\indexentry{Cudd\_zddWeakDiv@\emph  {Cudd\_zddWeakDiv}|hyperpage}{15}
\indexentry{reordering!of ZDDs|hyperpage}{15}
\indexentry{conversion!of ADDs to BDDs|hyperpage}{15}
\indexentry{conversion!of BDDs to ADDs|hyperpage}{15}
\indexentry{Cudd\_addBddPattern@\emph  {Cudd\_addBddPattern}|hyperpage}{15}
\indexentry{Cudd\_addBddInterval@\emph  {Cudd\_addBddInterval}|hyperpage}{15}
\indexentry{Cudd\_addBddThreshold@\emph  {Cudd\_addBddThreshold}|hyperpage}{15}
\indexentry{Cudd\_BddToAdd@\emph  {Cudd\_BddToAdd}|hyperpage}{15}
\indexentry{zero!logical|hyperpage}{15}
\indexentry{zero!arithmetic|hyperpage}{15}
\indexentry{Cudd\_addIthBit@\emph  {Cudd\_addIthBit}|hyperpage}{15}
\indexentry{conversion!of ZDDs to BDDs|hyperpage}{15}
\indexentry{conversion!of BDDs to ZDDs|hyperpage}{15}
\indexentry{ZDD|hyperpage}{15}
\indexentry{Cudd\_zddVarsFromBddVars@\emph  {Cudd\_zddVarsFromBddVars}|hyperpage}{16}
\indexentry{Cudd\_zddPortFromBdd@\emph  {Cudd\_zddPortFromBdd}|hyperpage}{16}
\indexentry{Cudd\_zddPortToBdd@\emph  {Cudd\_zddPortToBdd}|hyperpage}{16}
\indexentry{function!cover|hyperpage}{16}
\indexentry{Cudd\_zddVarsFromBddVars@\emph  {Cudd\_zddVarsFromBddVars}|hyperpage}{16}
\indexentry{function!cover|hyperpage}{16}
\indexentry{function!characteristic|hyperpage}{16}
\indexentry{reordering!of BDDs and ADDs|hyperpage}{16}
\indexentry{reordering!dynamic|hyperpage}{16}
\indexentry{table!unique|hyperpage}{16}
\indexentry{Cudd\_ReduceHeap@\emph  {Cudd\_ReduceHeap}|hyperpage}{17}
\indexentry{reordering!threshold|hyperpage}{17}
\indexentry{reordering!asynchronous|hyperpage}{17}
\indexentry{Cudd\_AutodynEnable@\emph  {Cudd\_AutodynEnable}|hyperpage}{17}
\indexentry{Cudd\_AutodynDisable@\emph  {Cudd\_AutodynDisable}|hyperpage}{17}
\indexentry{Cudd\_ReduceHeap@\emph  {Cudd\_ReduceHeap}|hyperpage}{17}
\indexentry{reordering!converging|hyperpage}{17}
\indexentry{reordering!group|hyperpage}{17}
\indexentry{reordering!sifting|hyperpage}{17}
\indexentry{reordering!Cudd\_ReorderingType|hyperpage}{17}
\indexentry{cudd.h|hyperpage}{17}
\indexentry{header files|hyperpage}{17}
\indexentry{CUDD\_REORDER\_NONE|hyperpage}{17}
\indexentry{CUDD\_REORDER\_SAME|hyperpage}{17}
\indexentry{Cudd\_AutodynEnable@\emph  {Cudd\_AutodynEnable}|hyperpage}{17}
\indexentry{Cudd\_ReduceHeap@\emph  {Cudd\_ReduceHeap}|hyperpage}{17}
\indexentry{CUDD\_REORDER\_RANDOM|hyperpage}{17}
\indexentry{reordering!random|hyperpage}{17}
\indexentry{CUDD\_REORDER\_RANDOM\_PIVOT|hyperpage}{17}
\indexentry{CUDD\_REORDER\_SIFT|hyperpage}{17}
\indexentry{reordering!sifting|hyperpage}{17}
\indexentry{Cudd\_ReadSiftMaxVar@\emph  {Cudd\_ReadSiftMaxVar}|hyperpage}{18}
\indexentry{Cudd\_SetSiftMaxVar@\emph  {Cudd\_SetSiftMaxVar}|hyperpage}{18}
\indexentry{Cudd\_ReadMaxGrowth@\emph  {Cudd\_ReadMaxGrowth}|hyperpage}{18}
\indexentry{Cudd\_SetMaxGrowth@\emph  {Cudd\_SetMaxGrowth}|hyperpage}{18}
\indexentry{CUDD\_REORDER\_SIFT\_CONVERGE|hyperpage}{18}
\indexentry{reordering!converging|hyperpage}{18}
\indexentry{CUDD\_REORDER\_SYMM\_SIFT|hyperpage}{18}
\indexentry{reordering!symmetric|hyperpage}{18}
\indexentry{symmetry|hyperpage}{18}
\indexentry{Cudd\_SymmProfile@\emph  {Cudd\_SymmProfile}|hyperpage}{18}
\indexentry{CUDD\_REORDER\_SYMM\_SIFT\_CONV|hyperpage}{18}
\indexentry{reordering!converging|hyperpage}{18}
\indexentry{CUDD\_REORDER\_GROUP\_SIFT|hyperpage}{18}
\indexentry{reordering!group|hyperpage}{18}
\indexentry{aggregation|hyperpage}{18}
\indexentry{CUDD\_REORDER\_GROUP\_SIFT\_CONV|hyperpage}{18}
\indexentry{CUDD\_REORDER\_WINDOW2|hyperpage}{18}
\indexentry{reordering!window|hyperpage}{18}
\indexentry{CUDD\_REORDER\_WINDOW3|hyperpage}{18}
\indexentry{CUDD\_REORDER\_WINDOW4|hyperpage}{18}
\indexentry{CUDD\_REORDER\_WINDOW2\_CONV|hyperpage}{19}
\indexentry{reordering!converging|hyperpage}{19}
\indexentry{CUDD\_REORDER\_WINDOW3\_CONV|hyperpage}{19}
\indexentry{CUDD\_REORDER\_WINDOW4\_CONV|hyperpage}{19}
\indexentry{CUDD\_REORDER\_ANNEALING|hyperpage}{19}
\indexentry{reordering!simulated annealing|hyperpage}{19}
\indexentry{CUDD\_REORDER\_GENETIC|hyperpage}{19}
\indexentry{reordering!genetic|hyperpage}{19}
\indexentry{CUDD\_REORDER\_EXACT|hyperpage}{19}
\indexentry{reordering!exact|hyperpage}{19}
\indexentry{Cudd\_ShuffleHeap@\emph  {Cudd\_ShuffleHeap}|hyperpage}{19}
\indexentry{variable!groups|hyperpage}{19}
\indexentry{variable!tree|hyperpage}{19}
\indexentry{Cudd\_MakeTreeNode@\emph  {Cudd\_MakeTreeNode}|hyperpage}{19}
\indexentry{libraries!mtr|hyperpage}{19}
\indexentry{Cudd\_SetTree@\emph  {Cudd\_SetTree}|hyperpage}{19}
\indexentry{Cudd\_ReadTree@\emph  {Cudd\_ReadTree}|hyperpage}{19}
\indexentry{MTR\_FIXED|hyperpage}{20}
\indexentry{MTR\_DEFAULT|hyperpage}{20}
\indexentry{Cudd\_MakeTreeNode@\emph  {Cudd\_MakeTreeNode}|hyperpage}{20}
\indexentry{variable!tree|hyperpage}{20}
\indexentry{Cudd\_bddNewVarAtLevel@\emph  {Cudd\_bddNewVarAtLevel}|hyperpage}{20}
\indexentry{Cudd\_addNewVarAtLevel@\emph  {Cudd\_addNewVarAtLevel}|hyperpage}{20}
\indexentry{reordering!of ZDDs|hyperpage}{20}
\indexentry{Cudd\_zddReduceHeap@\emph  {Cudd\_zddReduceHeap}|hyperpage}{21}
\indexentry{Cudd\_zddShuffleHeap@\emph  {Cudd\_zddShuffleHeap}|hyperpage}{21}
\indexentry{reordering!dynamic|hyperpage}{21}
\indexentry{Cudd\_AutodynEnableZdd@\emph  {Cudd\_AutodynEnableZdd}|hyperpage}{21}
\indexentry{Cudd\_AutodynDisableZdd@\emph  {Cudd\_AutodynDisableZdd}|hyperpage}{21}
\indexentry{CUDD\_REORDER\_NONE|hyperpage}{21}
\indexentry{CUDD\_REORDER\_SAME|hyperpage}{21}
\indexentry{CUDD\_REORDER\_RANDOM|hyperpage}{21}
\indexentry{CUDD\_REORDER\_RANDOM\_PIVOT|hyperpage}{21}
\indexentry{CUDD\_REORDER\_SIFT|hyperpage}{21}
\indexentry{CUDD\_REORDER\_SIFT\_CONVERGE|hyperpage}{21}
\indexentry{CUDD\_REORDER\_SYMM\_SIFT|hyperpage}{21}
\indexentry{CUDD\_REORDER\_SYMM\_SIFT\_CONV|hyperpage}{21}
\indexentry{Cudd\_MakeZddTreeNode@\emph  {Cudd\_MakeZddTreeNode}|hyperpage}{21}
\indexentry{Cudd\_zddRealignEnable@\emph  {Cudd\_zddRealignEnable}|hyperpage}{21}
\indexentry{Cudd\_zddRealignDisable@\emph  {Cudd\_zddRealignDisable}|hyperpage}{21}
\indexentry{hook|hyperpage}{21}
\indexentry{Cudd\_HookType@\emph  {Cudd\_HookType}|hyperpage}{21}
\indexentry{garbage   collection!hooks|hyperpage}{22}
\indexentry{reordering!hooks|hyperpage}{22}
\indexentry{Cudd\_AddHook@\emph  {Cudd\_AddHook}|hyperpage}{22}
\indexentry{Cudd\_StdPreReordHook@\emph  {Cudd\_StdPreReordHook}|hyperpage}{22}
\indexentry{Cudd\_StdPostReordHook@\emph  {Cudd\_StdPostReordHook}|hyperpage}{22}
\indexentry{timeout|hyperpage}{22}
\indexentry{Cudd\_SetTimeLimit@\emph  {Cudd\_SetTimeLimit}|hyperpage}{22}
\indexentry{Cudd\_TimeLimited@\emph  {Cudd\_TimeLimited}|hyperpage}{22}
\indexentry{Cudd\_ReadTimeLimit@\emph  {Cudd\_ReadTimeLimit}|hyperpage}{22}
\indexentry{Cudd\_UnsetTimeLimit@\emph  {Cudd\_UnsetTimeLimit}|hyperpage}{22}
\indexentry{Cudd\_UpdateTimeLimit@\emph  {Cudd\_UpdateTimeLimit}|hyperpage}{22}
\indexentry{Cudd\_IncreaseTimeLimit@\emph  {Cudd\_IncreaseTimeLimit}|hyperpage}{22}
\indexentry{Cudd\_bddAndLimit@\emph  {Cudd\_bddAndLimit}|hyperpage}{22}
\indexentry{CUDD\_TOO\_MANY\_NODES@\emph  {CUDD\_TOO\_MANY\_NODES}|hyperpage}{22}
\indexentry{Cudd\_ReadErrorCode@\emph  {Cudd\_ReadErrorCode}|hyperpage}{22}
\indexentry{Cudd\_ClearErrorCode@\emph  {Cudd\_ClearErrorCode}|hyperpage}{22}
\indexentry{Cudd\_DumpBlif@\emph  {Cudd\_DumpBlif}|hyperpage}{23}
\indexentry{Cudd\_DumpDot@\emph  {Cudd\_DumpDot}|hyperpage}{23}
\indexentry{graph!drawing|hyperpage}{23}
\indexentry{Cudd\_zddDumpDot@\emph  {Cudd\_zddDumpDot}|hyperpage}{23}
\indexentry{Cudd\_DumpDaVinci@\emph  {Cudd\_DumpDaVinci}|hyperpage}{23}
\indexentry{graph!drawing|hyperpage}{23}
\indexentry{libraries!dddmp|hyperpage}{23}
\indexentry{compiling|hyperpage}{23}
\indexentry{box!clear|hyperpage}{23}
\indexentry{arc!complement|hyperpage}{24}
\indexentry{arc!regular|hyperpage}{24}
\indexentry{node!reference count|hyperpage}{25}
\indexentry{garbage collection|hyperpage}{25}
\indexentry{cuddUniqueInter@\emph  {cuddUniqueInter}|hyperpage}{25}
\indexentry{cuddUniqueInterZdd@\emph  {cuddUniqueInterZdd}|hyperpage}{25}
\indexentry{node!constant|hyperpage}{25}
\indexentry{cuddUniqueConst@\emph  {cuddUniqueConst}|hyperpage}{25}
\indexentry{cuddUniqueInter@\emph  {cuddUniqueInter}|hyperpage}{25}
\indexentry{cuddUniqueInterZdd@\emph  {cuddUniqueInterZdd}|hyperpage}{25}
\indexentry{cuddUniqueConst@\emph  {cuddUniqueConst}|hyperpage}{25}
\indexentry{Cudd\_Ref@\emph  {Cudd\_Ref}|hyperpage}{25}
\indexentry{Cudd\_RecursiveDeref@\emph  {Cudd\_RecursiveDeref}|hyperpage}{25}
\indexentry{Cudd\_RecursiveDerefZdd@\emph  {Cudd\_RecursiveDerefZdd}|hyperpage}{25}
\indexentry{node!reference   count|hyperpage}{25}
\indexentry{node!dead|hyperpage}{25}
\indexentry{statistical counters|hyperpage}{25}
\indexentry{subtable|hyperpage}{25}
\indexentry{table!unique|hyperpage}{25}
\indexentry{Cudd\_RecursiveDeref@\emph  {Cudd\_RecursiveDeref}|hyperpage}{25}
\indexentry{Cudd\_RecursiveDerefZdd@\emph  {Cudd\_RecursiveDerefZdd}|hyperpage}{25}
\indexentry{garbage collection|hyperpage}{25}
\indexentry{free list|hyperpage}{25}
\indexentry{node!reference count|hyperpage}{25}
\indexentry{cuddUniqueInter@\emph  {cuddUniqueInter}|hyperpage}{25}
\indexentry{cuddUniqueInterZdd@\emph  {cuddUniqueInterZdd}|hyperpage}{25}
\indexentry{cuddUniqueConst@\emph  {cuddUniqueConst}|hyperpage}{25}
\indexentry{Cudd\_RecursiveDeref@\emph  {Cudd\_RecursiveDeref}|hyperpage}{25}
\indexentry{Cudd\_RecursiveDerefZdd@\emph  {Cudd\_RecursiveDerefZdd}|hyperpage}{25}
\indexentry{Cudd\_ReadErrorCode@\emph  {Cudd\_ReadErrorCode}|hyperpage}{26}
\indexentry{Cudd\_RecursiveDeref@\emph  {Cudd\_RecursiveDeref}|hyperpage}{26}
\indexentry{Cudd\_Deref@\emph  {Cudd\_Deref}|hyperpage}{26}
\indexentry{node!reference count|hyperpage}{26}
\indexentry{node!constant|hyperpage}{26}
\indexentry{Cudd\_Ref@\emph  {Cudd\_Ref}|hyperpage}{26}
\indexentry{Cudd\_RecursiveDeref@\emph  {Cudd\_RecursiveDeref}|hyperpage}{26}
\indexentry{Cudd\_RecursiveDerefZdd@\emph  {Cudd\_RecursiveDerefZdd}|hyperpage}{26}
\indexentry{saturating!increments|hyperpage}{27}
\indexentry{saturating!decrements|hyperpage}{27}
\indexentry{node!reference count|hyperpage}{27}
\indexentry{Cudd\_RecursiveDeref@\emph  {Cudd\_RecursiveDeref}|hyperpage}{27}
\indexentry{Cudd\_RecursiveDerefZdd@\emph  {Cudd\_RecursiveDerefZdd}|hyperpage}{27}
\indexentry{Cudd\_Deref@\emph  {Cudd\_Deref}|hyperpage}{27}
\indexentry{SIZEOF\_VOID\_P|hyperpage}{27}
\indexentry{SIZEOF\_INT|hyperpage}{27}
\indexentry{header files|hyperpage}{27}
\indexentry{config.h|hyperpage}{27}
\indexentry{cuddSatInc@\emph  {cuddSatInc}|hyperpage}{27}
\indexentry{cuddSatDec@\emph  {cuddSatDec}|hyperpage}{27}
\indexentry{SIZEOF\_VOID\_P|hyperpage}{27}
\indexentry{SIZEOF\_INT|hyperpage}{27}
\indexentry{arc!complement|hyperpage}{27}
\indexentry{cache|hyperpage}{27}
\indexentry{arc!regular|hyperpage}{27}
\indexentry{arc!complement|hyperpage}{27}
\indexentry{Cudd\_Regular@\emph  {Cudd\_Regular}|hyperpage}{27}
\indexentry{cuddUniqueInter@\emph  {cuddUniqueInter}|hyperpage}{27}
\indexentry{cuddUniqueInter@\emph  {cuddUniqueInter}|hyperpage}{27}
\indexentry{cache|hyperpage}{28}
\indexentry{node!reference count|hyperpage}{28}
\indexentry{garbage collection|hyperpage}{28}
\indexentry{node!dead|hyperpage}{28}
\indexentry{reordering|hyperpage}{28}
\indexentry{DdNode|hyperpage}{28}
\indexentry{cache!local|hyperpage}{28}
\indexentry{libraries!st|hyperpage}{28}
\indexentry{interface!cache|hyperpage}{28}
\indexentry{cuddCacheInsert@\emph  {cuddCacheInsert}|hyperpage}{28}
\indexentry{cuddCacheLookup@\emph  {cuddCacheLookup}|hyperpage}{28}
\indexentry{cuddCacheInsert2@\emph  {cuddCacheInsert2}|hyperpage}{28}
\indexentry{cuddCacheLookup2@\emph  {cuddCacheLookup2}|hyperpage}{28}
\indexentry{cuddCacheInsert1@\emph  {cuddCacheInsert1}|hyperpage}{28}
\indexentry{cuddCacheLookup1@\emph  {cuddCacheLookup1}|hyperpage}{28}
\indexentry{cache!sizing|hyperpage}{29}
\indexentry{maxCache|hyperpage}{29}
\indexentry{table!unique|hyperpage}{29}
\indexentry{cache!reward-based resizing|hyperpage}{29}
\indexentry{statistical   counters|hyperpage}{29}
\indexentry{cache!reward-based resizing|hyperpage}{29}
\indexentry{table!unique|hyperpage}{29}
\indexentry{cache!local|hyperpage}{29}
\indexentry{cache!lossless|hyperpage}{29}
\indexentry{canonical|hyperpage}{30}
\indexentry{garbage collection|hyperpage}{30}
\indexentry{node!reference count|hyperpage}{30}
\indexentry{Cudd\_RecursiveDeref@\emph  {Cudd\_RecursiveDeref}|hyperpage}{30}
\indexentry{table!unique|hyperpage}{30}
\indexentry{variable!permutation|hyperpage}{30}
\indexentry{cuddI@\emph  {cuddI}|hyperpage}{30}
\indexentry{cuddIZ@\emph  {cuddIZ}|hyperpage}{30}
\indexentry{table!hash|hyperpage}{30}
\indexentry{cache!collision list|hyperpage}{30}
\indexentry{node!dead|hyperpage}{30}
\indexentry{garbage collection|hyperpage}{30}
\indexentry{node!reclaimed|hyperpage}{30}
\indexentry{table!unique!reward-based resizing|hyperpage}{31}
\indexentry{table!unique!fast growth|hyperpage}{31}
\indexentry{table!unique!slow growth|hyperpage}{31}
\indexentry{reordering!asynchronous|hyperpage}{31}
\indexentry{reordering!threshold|hyperpage}{31}
\indexentry{function!minterms|hyperpage}{31}
\indexentry{reordering!abort and retry|hyperpage}{32}
\indexentry{reordering!interruptible procedure|hyperpage}{32}
\indexentry{reordering!function wrapper|hyperpage}{32}
\indexentry{cuddUniqueInter@\emph  {cuddUniqueInter}|hyperpage}{32}
\indexentry{cuddUniqueInterZdd@\emph  {cuddUniqueInterZdd}|hyperpage}{32}
\indexentry{cuddUniqueInter@\emph  {cuddUniqueInter}|hyperpage}{32}
\indexentry{Cudd\_ReadReorderings@\emph  {Cudd\_ReadReorderings}|hyperpage}{32}
\indexentry{cuddUniqueInter@\emph  {cuddUniqueInter}|hyperpage}{32}
\indexentry{reordering!function wrapper|hyperpage}{32}
\indexentry{debugging|hyperpage}{33}
\indexentry{DD\_DEBUG|hyperpage}{33}
\indexentry{Cudd\_DebugCheck@\emph  {Cudd\_DebugCheck}|hyperpage}{33}
\indexentry{Cudd\_CheckKeys@\emph  {Cudd\_CheckKeys}|hyperpage}{33}
\indexentry{cuddHeapProfile@\emph  {cuddHeapProfile}|hyperpage}{33}
\indexentry{cuddInt.h|hyperpage}{33}
\indexentry{Cudd\_RecursiveDeref@\emph  {Cudd\_RecursiveDeref}|hyperpage}{33}
\indexentry{Cudd\_CheckZeroRef@\emph  {Cudd\_CheckZeroRef}|hyperpage}{33}
\indexentry{node!reference count|hyperpage}{33}
\indexentry{projection functions|hyperpage}{33}
\indexentry{node!reference count!saturated|hyperpage}{33}
\indexentry{statistics|hyperpage}{33}
\indexentry{Cudd\_PrintInfo@\emph  {Cudd\_PrintInfo}|hyperpage}{33}
\indexentry{cache!collision|hyperpage}{35}
\indexentry{cache!deletion|hyperpage}{35}
\indexentry{Cudd\_DelayedDerefBdd@\emph  {Cudd\_DelayedDerefBdd}|hyperpage}{36}
\indexentry{Cudd\_SetMaxCacheHard@\emph  {Cudd\_SetMaxCacheHard}|hyperpage}{37}
\indexentry{DD\_STATS|hyperpage}{39}
\indexentry{DD\_CACHE\_PROFILE|hyperpage}{39}
\indexentry{DD\_UNIQUE\_PROFILE|hyperpage}{39}
\indexentry{DD\_VERBOSE|hyperpage}{39}
\indexentry{documentation|hyperpage}{39}
\indexentry{doxygen|hyperpage}{39}
\indexentry{documentation!SeeAlso@\emph{see}|hyperpage}{39}
\indexentry{documentation!Description@\emph{return}|hyperpage}{39}
\indexentry{documentation!Synopsis@\emph{brief}|hyperpage}{39}
\indexentry{libraries!obj|hyperpage}{40}
\indexentry{Algebraic Decision Diagram|hyperindexformat{\see{ADD}}}{42}
\indexentry{Binary Decision Diagram|hyperindexformat{\see{BDD}}}{42}
\indexentry{Zero-suppressed Binary Decision Diagram|hyperindexformat{\see{ZDD}}}{42}
\indexentry{dot|hyperindexformat{\see{graph, drawing}}}{42}
\indexentry{extdoc|hyperindexformat{\see{documentation}}}{42}
\indexentry{node!terminal|hyperindexformat{\see{node, constant}}}{42}
