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
IsBiUnateFunctionTo IsOneFunction IsParityFunction IsPositiveUnateFunctionTo IsUnateFunction IsUnateFunctionTo AndOr AndXor BDD BCD ToAndXor ToPOS DigitalSystem Count Get Load logicvardef MantissaToPositiveNumber object To2LayerAndOr To2LayerAndXor Save AutoAssignInputAndStateVariables InputVariables Compatibility ShannonTree Balanced BestVariableOrder SimpleCover Zero