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
MatchLogicFunction IsCovering IsParityFunction IsSelfAntiDualFunction Binary List BCD binary DigitalSystem list() Count Load logicvardef() long MostSignificantDigit RadixFromIndex One SOP SAT Implementation ToDigitalSystem To2layerOrAnd DontCare SimpleInner StateDeviceName CreateFromLogicFunctions GetPositiveLogicFunction SemanticEval var() Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.