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
IsMonotonicFunction IsNegativeUnateFunctionTo IsSelfAntiDualFunction GrayCode TwoComplement binary binaryioset() ToDualFunction ToROBDD ToTruthTable ToXORP Diagram Eq LogicScript Minus Nand NumberSystem MantissaToPositiveDecimal RadixFromIndex One To2LayerOrAnd Solve Assign InputVariables CreateCompactTable Simplification ShannonTree ROBDD IndependentBase Zero