a modern C++ library for the manipulation of Boolean functions
a modern C++ library for the manipulation of Boolean functions
a modern C++ library for the manipulation of Boolean functions
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Organization<br />
Chapter 1. Introduces <strong>the</strong> fundamental concepts <strong>for</strong> <strong>Boolean</strong> <strong>functions</strong>.<br />
Chapter 2. Introduces ROBDDs, <strong>the</strong> fundamental data structure used by CORAL to<br />
represent and manipulate <strong>Boolean</strong> expressions, discusses <strong>the</strong>ir properties and shows<br />
an example <strong>of</strong> how <strong>the</strong>y can be used to implement operators on <strong>Boolean</strong> <strong>functions</strong>.<br />
Chapter 3. Describes CORAL’s fundamental algorithms in detail.<br />
Chapter 4. Discusses how <strong>the</strong> <strong>library</strong> supports different internal representations <strong>of</strong><br />
<strong>Boolean</strong> expressions in a way that is reasonably transparent to <strong>the</strong> end user by<br />
applying policy-based class design.<br />
Chapter 5. Provides <strong>the</strong> results <strong>of</strong> experimental evaluation <strong>of</strong> CORAL’s per<strong>for</strong>mance.<br />
Chapter 6. Briefly draws conclusions.<br />
iii