Determines whether a truth_table is fully specified. More...
Namespaces | |
namespace | revkit |
Main namespace. | |
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. | |
bool | fully_specified (const binary_truth_table &tt, bool is_reversible=true) |
Returns whether a truth table is fully specified. |
Determines whether a truth_table is fully specified.