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
IsBiUnateFunctionTo IsLinearFunction IsMonotonicFunction IsNegativeUnateFunctionTo ToBinary binaryioset bool() ToDiagram ToTruthTable Equiv list() logicvardef long LeastSignificantDigit MantissaToPositiveInteger POS To2LayerOrAnd SOP To2LayerAndXor ToFullAnd Save Assign AutoAssignInputAndStateVariables ShannonTree Canonical string CreateFromLogicFunctions RandomGenerate var Zero