Sequential.Convert.ToFeedbackSystem
Back to table
/*
SequentialLogic
Sequential.Convert.ToFeedbackSystem
[FeedbackSystem table]=Sequential.Convert.ToFeedbackSystem(SequentialLogic F);
Convert the SequentialLogic(TimingChart, FeedbackSystem, FeedbackDiagra) to FeedbackSystem.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// 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