Sequential.Assign.StateVariables.Forwardly
Back to table
/*
SequentialLogic
Sequential.Assign.StateVariables.Forwardly
[StateTransition table]=Sequential.Assign.StateVariables.Forwardly(StateTransition table);
Assign binary to states according to its indexes forwardly.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsSelfDualFunction IsThresholdFunction IsZeroFunction binary() OneComplement bool() ToSOP Eq Imply list() logicvardef long MantissaToPositiveDecimal MantissaToPositiveNumber MostSignificantDigit Radixes Or Print MaxSAT Save AutoAssignInputAndStateVariables StateTransitionBasedly To2layerOrAnd ShannonTree SimpleCover TruthTable ComputeDONTCARE EnlargeLogicFunction XORP Zero