StateDeviceName
Back to table
/*
Constant
StateDeviceName
statedevices;
Available value: SR-FF, JK-FF, T-FF, D-FF
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsBlankFunction IsCovering IsEqual IsOneFunction IsPositiveUnateFunctionTo IsSelfAntiDualFunction ToAndOr MinValue Convert ToOrAnd ToSOP ToXORP Dimacs FeedbackSystem long NumberSystem LeastSignificantDigit MantissaToPositiveDecimal To2LayerOrAnd SOP To2LayerAndXor Sequential ShortestInputsForDistinguishTwoStates InputVariables ToFeedbackSystem Simplification ROBDD StateTransition ShrinkLogicFunction Zero