Sequential.CreateCompactTable
Back to table
/*
SequentialLogic
Sequential.CreateCompactTable
[StateTransition result]=Sequential.CreateCompactTable(StateTransition table);
Withdraw the simplified table from its raw table.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsBlankFunction IsMonotonicFunction IsSelfAntiDualFunction IsThresholdFunction And BDD ToBinary BCD Convert ToDualFunction Equiv FeedbackSystem long() Not LeastSignificantDigit Radixes Or POS real() real Realization To2LayerAndXor Assign StateVariables ToFeedbackSystem Fast ROBDD SimpleInner GetNegativeLogicFunction Zero