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
PermuteLogicFunction IsBlankFunction IsLinearFunction IsSymmetricFunctionTo IsZeroFunction GrayCode bool() Convert ToDiagram ToVariableInvertedFunction Eq Get logicvardef minterm() MantissaToPositiveNumber Or POS To2LayerNor Save Backwardly StateVariables ToStateTransitionTable Simplification Balanced Full StateTransition TimingChart GetNegativeLogicFunction Xor Zero