Determines whether a truth_table is fully specified. More...
Namespaces | |
namespace | revkit |
Main namespace. | |
Macros | |
#define | foreach BOOST_FOREACH |
Functions | |
template<typename T > | |
bool | fully_specified (const truth_table< T > &tt, const typename truth_table< T >::value_type &dc_value, bool is_reversible=true) |
Returns whether a truth table is fully specified. More... | |
bool | fully_specified (const binary_truth_table &tt, bool is_reversible=true) |
Returns whether a truth table is fully specified. More... | |
Determines whether a truth_table is fully specified.