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
Advanced PermuteLogicFunction Analysis IsParityFunction BDD FromBinary List MaxValue BCD BinaryNumberToString OneComplement TwoComplement ToOrAnd LogicScript logicvardef() long() Radixes POS To2LayerNor To2LayerAndOr Save ToStateTransitionTable ROBDD Full MultiCover SimpleInner StateTransition string IndependentBase Zero