Sequential.CreateCompactTable
Back to table
/*
SequentialLogic
Sequential.CreateCompactTable
[StateTransition result]=Sequential.CreateCompactTable(StateTransition table);
Withdraw the simplified table from its raw table.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsCovering IsUnateFunction ToBinary TwoComplement bool ToOrAnd ToNotFunction ToPOS DiagramGateName FeedbackSystem Imply minterm() Nand PositiveNumberToMantissa Or Print To2LayerAndOr To2LayerNand TransitionSeries Assign FastVerificationData Full SimpleCover StateTransition AdjustLogicVariableCount IndependentBase Normalization SemanticEval ShannonExpansion Zero