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
Advanced IsPositiveUnateFunctionTo IsSymmetricFunction IsSymmetricFunctionTo AndOr BCD binary binaryioset AddXorTerm Diagram DigitalSystem Dimacs ExcitationTable logicvardef() long() minterm() minterm PositiveIntegerToMantissa ShortestInputsForDistinguishTwoStates ToStateTransitionTable To2layerOrAnd BestVariableOrder Full SimpleCover SimpleInner GetDontCareLogicFunction SemanticEval ShannonExpansion var Zero