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
IsBiUnateFunction IsBiUnateFunctionTo IsParityFunction IsPositiveUnateFunctionTo IsUnateFunction AndOr ToBinary bool() ToROBDD ToTruthTable Diagram DiagramGateName DigitalSystem Email ExcitationTable LogicScript long() minterm() Nor NumberSystem MostSignificantDigit RadixToIndex real() SOP ShortestInputsForDistinguishTwoStates Forwardly string ComputeDONTCARE EnlargeLogicFunction Zero