Type traitsΒΆ
A type trait is_truth_table<T>
can be used to check whether type T
implements a truth table type. The value is_truth_table<T>::value
evaluates to true if T
is dynamic_truth_table
or
static_truth_table<NumVars>
(for any NumVars
), and false
, otherwise.