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. More...

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

Detailed Description

Class for truth table representation.