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 IsNegativeUnateFunctionTo bool ToDualFunction ToNotFunction Diagram FeedbackDiagram list() minterm Radixes Print real SAT Sequential OutputAndStateBasedly To2layerOrAnd Simplification HuffmanMealy ShannonTree BestVariableOrder Canonical MultiCover string() GetPositiveLogicFunction EnlargeLogicFunction ShrinkLogicFunction var() Xor XORP Zero