Sequential.CreateCompactTableWithFullSimplification
Back to table
/*
SequentialLogic
Sequential.CreateCompactTableWithFullSimplification
[StateTransition result]=Sequential.CreateCompactTableWithFullSimplification(StateTransition table);
Simplify a table and return its simplified table.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsMonotonicFunction IsNegativeUnateFunctionTo IsSelfAntiDualFunction GrayCode TwoComplement binary binaryioset() ToDualFunction ToROBDD ToTruthTable ToXORP Diagram Eq LogicScript Minus Nand NumberSystem MantissaToPositiveDecimal RadixFromIndex One To2LayerOrAnd Solve Assign InputVariables CreateCompactTable Simplification ShannonTree ROBDD IndependentBase Zero