Sequential.Analysis.ShortestInputsForTransition
Back to table
/*
SequentialLogic
Sequential.Analysis.ShortestInputsForTransition
[binary() result]=Sequential.Analysis.ShortestInputsForTransition(StateTransition table, var() stateXY);
Compute the shortest inputs for transition from state x to y.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
MatchLogicFunction IsMonotonicFunction BDD FromBinary MinValue BCDEx3 BinaryNumberToString PureBinary StringToBinaryNumber binaryioset Convert ToAndXor Eq Equiv FeedbackDiagram Not MantissaToPositiveDecimal MantissaToPositiveInteger Radixes Save TransitionSeries Compatibility FastVerificationData SimpleInner string() RandomGenerate ComputeFunctionOrder Substitute XORP Zero