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
IsBlankFunction IsInverse IsSymmetricFunction ToAndOr List TwoComplement ToVariableInvertedFunction Dimacs minterm() Minus Nor MantissaToPositiveNumber object() One OrAnd To2LayerOrAnd ToFullAnd SAT MaxSAT TransitionSeries Assign CreateCompactTable FastVerificationData DontCare GetPositiveLogicFunction GetSubTable AdjustLogicVariableCount ComputeDONTCARE CreateDummyLogicFunction Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.