Sequential.CreateCompactTable
Back to table
/*
SequentialLogic
Sequential.CreateCompactTable
[StateTransition result]=Sequential.CreateCompactTable(StateTransition table);
Withdraw the simplified table from its raw table.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsBiUnateFunctionTo IsBlankFunction IsLinearFunction IsThresholdFunction binary() ToBinary binaryioset() ToOrAnd ToDualFunction ToNotFunction ToSOP LogicScript logicvardef() long NumberSystem PositiveDecimalToMantissa RadixFromIndex To2LayerAndOr MaxSAT Sequential ToFeedbackSystem CreateCompactTable HuffmanMealy Shannon SimpleCover StateDeviceName GetPositiveLogicFunction RandomGenerate ComputeFunctionOrder Zero