Sequential.Assign.StateVariables.Backwardly
Back to table
/*
SequentialLogic
Sequential.Assign.StateVariables.Backwardly
[StateTransition table]=Sequential.Assign.StateVariables.Backwardly(StateTransition table);
Assign binary to states according to its indexes backwardly.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsNegativeUnateFunctionTo IsPositiveUnateFunctionTo IsSelfDualFunction Binary List BinaryNumberToString NineComplement StringToBinaryNumber TwoComplement Convert AddXorTerm Diagram list() NumberSystem MostSignificantDigit Or Print real SAT ShortestInputsForDistinguishTwoStates Assign StateTransitionBasedly ToFeedbackSystem HuffmanMealy SimpleCover TimingChart GetDontCareLogicFunction GetSubTable ShrinkLogicFunction Zero