Sequential.CreateCompactTableWithFullSimplification
Back to table
/*
SequentialLogic
Sequential.CreateCompactTableWithFullSimplification
[StateTransition result]=Sequential.CreateCompactTableWithFullSimplification(StateTransition table);
Simplify a table and return its simplified table.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsBiUnateFunction IsEqual IsParityFunction IsPositiveFunction IsPositiveUnateFunctionTo IsSymmetricFunction IsSymmetricFunctionTo And AndXor ToAndOr FromBinary PureBinary ToTruthTable Equiv long MantissaToPositiveNumber RadixToIndex OrAnd Realization To2LayerOrAnd To2LayerAndOr SAT CreateCompactTable BestVariableOrder FastVerificationData TruthTable RandomGenerate var XORP Zero