StateDeviceName
Back to table
/*
Constant
StateDeviceName
statedevices;
Available value: SR-FF, JK-FF, T-FF, D-FF
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsBiUnateFunctionTo IsBlankFunction IsEqual IsSelfAntiDualFunction IsSymmetricFunction IsThresholdFunction IsZeroFunction BDD Binary AbsoluteExpression AddXorTerm ToROBDD ToVariableInvertedFunction FeedbackSystem Imply logicvardef() MantissaToPositiveInteger RadixFromIndex To2LayerOrAnd SAT AutoAssignInputAndStateVariables Simplification Compatibility HuffmanMealy Full StateTransition TruthTable SemanticEval ShannonExpansion Zero