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
IsCovering IsEqual IsNegativeUnateFunctionTo IsSelfDualFunction And AndOr MaxValue BCD BCDEx3 binaryioset() AddXorTerm ToNotFunction FeedbackSystem long() minterm() MantissaToPositiveDecimal PositiveIntegerToMantissa object() One POS Realization Backwardly Simplification Fast TimingChart RandomGenerate AdjustLogicVariableCount ComputeFunctionOrder SemanticEval Zero