Sequential.Analysis.ShortestInputsForDistinguishTwoStates
Back to table
/*
SequentialLogic
Sequential.Analysis.ShortestInputsForDistinguishTwoStates
[binaryioset() result]=Sequential.Analysis.ShortestInputsForDistinguishTwoStates(StateTransition table, var stateX, var stateY);
Compute the shortest inputs for transition from state x to y.
*/
//-------------------------------------------------------------------
// examples
[binaryioset() result]=Sequential.Analysis.ShortestInputsForDistinguishTwoStates(StateTransition table, var() stateXY);
//-------------------------------------------------------------------
// result
IsBlankFunction IsUnateFunctionTo IsZeroFunction And Binary List BCDEx3 PureBinary StringToBinaryNumber binary bool() FeedbackSystem Get long Nor Not PermutationMatrix real Realization To2LayerNor InputVariables ToFeedbackSystem GetExcitationTable ROBDD GetSubTable CreateDummyLogicFunction SemanticEval var() Xor Zero