Namespaces | Functions

embed_truth_table.hpp File Reference

Embedding of an irreversible specification. More...

Namespaces

namespace  revkit
 

Main namespace.


Functions

bool embed_truth_table (binary_truth_table &spec, const binary_truth_table &base, properties::ptr settings=properties::ptr(), properties::ptr statistics=properties::ptr())
 Embedding of an irreversible specification.
embedding_func embed_truth_table_func (properties::ptr settings=properties::ptr(new properties()), properties::ptr statistics=properties::ptr(new properties()))
 Functor for the embed_truth_table algorithm.

Detailed Description

Embedding of an irreversible specification.

 All Classes Namespaces Files Functions Variables Typedefs Enumerator Friends Defines

Generated on Sun May 22 2011 23:08:23 for RevKit by doxygen 1.7.3