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
IsCovering IsInverse IsMonotonicFunction IsPositiveFunction IsPositiveUnateFunctionTo Binary TwoComplement ToAndXor ToNotFunction DigitalSystem Email ExcitationTable logicvardef() Nor object Print To2LayerNor To2LayerOrAnd SAT Save OutputAndStateBasedly GetExcitationTable Implementation Balanced StateDeviceName GetNegativeLogicFunction AdjustLogicVariableCount SemanticEval ShannonExpansion Zero