Sequential.CreateCompactTableWithFullSimplification
Back to table
/*
SequentialLogic
Sequential.CreateCompactTableWithFullSimplification
[StateTransition result]=Sequential.CreateCompactTableWithFullSimplification(StateTransition table);
Simplify a table and return its simplified table.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
Advanced IsNegativeUnateFunctionTo IsPositiveUnateFunctionTo IsThresholdFunction MaxValue BCDEx3 GrayCode OneComplement bool() ToROBDD Count Nor Radixes RadixFromIndex RadixToIndex object One OrAnd POS ToFullAnd MaxSAT FullTable Fast DontCare StateTransition TruthTable ComputeDONTCARE ShannonExpansion var() Zero