Sequential.Analysis.TransitionSeries
Back to table
/*
SequentialLogic
Sequential.Analysis.TransitionSeries
[binaryioset() result]=Sequential.Analysis.TransitionSeries(StateTransition table, var() initState, binary() initOutput, var() inputList);
Compute the series of the transition by the given initial state, initial output and the series of the input.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
PermuteLogicFunction IsParityFunction IsZeroFunction AndOr AndXor ToBinary BCDEx3 Convert ToDualFunction ToROBDD FeedbackSystem Load logicvardef() minterm Minus LeastSignificantDigit MantissaToPositiveInteger To2LayerNor To2LayerOrAnd Save Assign InputVariables CreateCompactTableWithFullSimplification ROBDD MultiCover StateDeviceName CreateFromLogicFunctions var() XORP Zero