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
Advanced MatchLogicFunction IsMonotonicFunction IsPositiveUnateFunctionTo IsSelfAntiDualFunction And AndOr ToBinary BinaryNumberToString bool ToSOP ToTruthTable ToVariableInvertedFunction minterm Nand Nor real MaxSAT Solve Assign Backwardly HuffmanMealy ShannonTree Fast Canonical GetDontCareLogicFunction Utility IndependentBase Normalization Zero