Sequential.Analysis.ShortestInputsForDistinguishTwoStates
Back to table
/*
SequentialLogic
Sequential.Analysis.ShortestInputsForDistinguishTwoStates
[binaryioset() result]=Sequential.Analysis.ShortestInputsForDistinguishTwoStates(StateTransition table, var stateX, var stateY);
Compute the shortest inputs for transition from state x to y.
*/
//-------------------------------------------------------------------
// examples
[binaryioset() result]=Sequential.Analysis.ShortestInputsForDistinguishTwoStates(StateTransition table, var() stateXY);
//-------------------------------------------------------------------
// result
IsPositiveFunction IsUnateFunction IsUnateFunctionTo PureBinary binaryioset() binaryioset Dimacs Email logicvardef minterm() LeastSignificantDigit MantissaToPositiveNumber PositiveDecimalToMantissa PositiveNumberToMantissa RadixFromIndex object() real() To2LayerOrAnd To2LayerAndXor To2LayerNand Assign To2layerOrAnd Compatibility ShannonTree Balanced MultiCover StateTransition RandomGenerate Xor Zero