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
Advanced IsEqual IsUnateFunction ToAndOr binary() ToBinary BCDEx3 PureBinary bool ToOrAnd ToVariableInvertedFunction DigitalSystem Eq Count Get Load logicvardef PositiveIntegerToMantissa Radixes RadixToIndex real() To2LayerAndXor Assign StateTransitionBasedly SimpleInner TruthTable GetNegativeLogicFunction IndependentBase var Zero