Sequential.CreateCompactTable
Back to table
/*
SequentialLogic
Sequential.CreateCompactTable
[StateTransition result]=Sequential.CreateCompactTable(StateTransition table);
Withdraw the simplified table from its raw table.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsBiUnateFunction IsCovering IsParityFunction IsPositiveFunction IsUnateFunctionTo ToBinary NineComplement ToDualFunction Dimacs Email Imply logicvardef() Nand Not MantissaToPositiveDecimal MantissaToPositiveNumber object() PermutationMatrix POS Save Sequential AutoAssignInputAndStateVariables StateVariables ToStateTransitionTable CreateCompactTable To2layerOrAnd StateDeviceName StateTransition var Zero