Sequential.Assign.AutoAssignInputAndStateVariables
Back to table
/*
SequentialLogic
Sequential.Assign.AutoAssignInputAndStateVariables
[StateTransition table]=Sequential.Assign.AutoAssignInputAndStateVariables(StateTransition table);
Assign binary to inputs and states according to its indexes forwardly.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsLinearFunction IsThresholdFunction IsZeroFunction And ToAndOr AbsoluteExpression List GrayCode PureBinary binaryioset bool ToNotFunction ToROBDD DigitalSystem Eq logicvardef MantissaToPositiveDecimal PositiveIntegerToMantissa Or POS MaxSAT AutoAssignInputAndStateVariables Simplification HuffmanMealy ROBDD Full CreateFromLogicFunctions ComputeDONTCARE SemanticEval Zero