truth_table.hpp File Reference

Class for truth table representation. More...

Classes

class  truth_table< T >
 Represents a truth table. More...

Namespaces

namespace  revkit
 

Main namespace.


Typedefs

typedef truth_table
< boost::optional< bool > > 
binary_truth_table
 A predefined truth table for specifications using binary values as in specifications for reversible circuits.

Functions

std::ostream & operator<< (std::ostream &os, const binary_truth_table &spec)
 Outputs a truth table.
unsigned truth_table_cube_to_number (const binary_truth_table::cube_type &cube)
 Converts a truth table cube to a number.
binary_truth_table::cube_type number_to_truth_table_cube (unsigned number, unsigned bw)
 Converts a number to a cube of a fixed bitwidth.

Detailed Description

Class for truth table representation.


Generated on Fri Jul 2 07:50:42 2010 for by doxygen 1.6.3