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
Advanced MatchLogicFunction IsBlankFunction IsCovering IsInverse IsSymmetricFunction List GrayCode StringToBinaryNumber TwoComplement binaryioset bool() Dimacs logicvardef() logicvardef minterm Not MantissaToPositiveInteger One OutputAndStateBasedly Compatibility FastVerificationData StateTransition CreateFromLogicFunctions GetNegativeLogicFunction CreateDummyLogicFunction Normalization ShrinkLogicFunction var Zero