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
IsCovering IsInverse IsLinearFunction IsNegativeUnateFunctionTo IsSymmetricFunctionTo binaryioset ToShannonTree Dimacs Eq Imply list() logicvardef Minus Not MantissaToPositiveNumber MostSignificantDigit Radixes object() object PermutationMatrix TransitionSeries InputVariables ToStateTransitionTable CreateCompactTable Implementation Compatibility FastVerificationData RandomGenerate Normalization Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.