Sequential.Assign.StateVariables.StateTransitionBasedly
Back to table
/*
SequentialLogic
Sequential.Assign.StateVariables.StateTransitionBasedly
[StateTransition table]=Sequential.Assign.StateVariables.StateTransitionBasedly(StateTransition table);
Assign binary to states according to the frequency of its states appearing in the transition.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsBiUnateFunction BDD binary() List BCD GrayCode TwoComplement binary binaryioset() binaryioset ToNotFunction ToROBDD ToSOP Diagram DigitalSystem minterm() MantissaToPositiveInteger OrAnd To2LayerNor ToFullAnd SAT Solve Backwardly FastVerificationData Canonical MultiCover Shannon GetSubTable ShrinkLogicFunction Zero