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 IsSymmetricFunctionTo IsUnateFunctionTo AbsoluteExpression BCD BCDEx3 NineComplement binary binaryioset Convert ToTruthTable Dimacs FeedbackSystem LogicScript logicvardef minterm Nand NumberSystem RadixToIndex To2LayerNor ShortestInputsForDistinguishTwoStates StateVariables GetExcitationTable Simplification SimpleInner GetPositiveLogicFunction ComputeFunctionOrder EnlargeLogicFunction Zero