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
IsPositiveUnateFunctionTo IsSelfAntiDualFunction And AndOr BCD TwoComplement Equiv FeedbackDiagram long minterm Minus Not LeastSignificantDigit MantissaToPositiveDecimal PositiveDecimalToMantissa ShortestInputsForDistinguishTwoStates StateVariables CreateCompactTableWithFullSimplification Implementation Balanced FastVerificationData Canonical string GetNegativeLogicFunction Utility ComputeDONTCARE CreateDummyLogicFunction EnlargeLogicFunction Normalization Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.