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 IsNegativeUnateFunctionTo IsSelfAntiDualFunction IsThresholdFunction List TwoComplement bool() bool DiagramGateName FeedbackDiagram FeedbackSystem list() Minus PositiveDecimalToMantissa OrAnd real() real ToFeedbackSystem CreateCompactTable Implementation To2layerOrAnd FastVerificationData DontCare GetDontCareLogicFunction GetPositiveLogicFunction AdjustLogicVariableCount ShannonExpansion var() var Zero