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 IsBiUnateFunctionTo IsSelfDualFunction And AndOr MinValue bool ToSOP Email FeedbackDiagram Imply Load LogicScript minterm() minterm object Or Print To2LayerNand Solve TransitionSeries InputVariables Canonical Full string() ShannonExpansion ShrinkLogicFunction var() Xor Zero