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
PermuteLogicFunction IsBiUnateFunction IsBiUnateFunctionTo IsOneFunction IsSymmetricFunction IsSymmetricFunctionTo IsThresholdFunction BDD List GrayCode PureBinary TwoComplement binaryioset() ToOrAnd ToDiagram Dimacs Count LogicScript Not LeastSignificantDigit POS ToFullAnd Forwardly StateTransitionBasedly Shannon GetSubTable ShannonExpansion ShrinkLogicFunction var Zero