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
IsInverse IsSymmetricFunction IsUnateFunction List AddXorTerm ToDualFunction ToTruthTable DiagramGateName DigitalSystem Equiv FeedbackSystem LogicScript long() PositiveNumberToMantissa OrAnd SOP InputVariables Forwardly StateVariables ToDigitalSystem FastVerificationData StateDeviceName CreateFromLogicFunctions Utility Normalization SemanticEval Substitute var() XORP Zero