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

Detailed Description

Embedding of an irreversible specification.