Sequential.Simplification.FullTable
Back to table
/*
SequentialLogic
Sequential.Simplification.FullTable
[StateTransition result]=Sequential.Simplification.FullTable(StateTransition table);
Simplify an incompletely defined state-transition-table with the compatibility algorithm.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsBiUnateFunctionTo IsNegativeUnateFunctionTo IsUnateFunction IsUnateFunctionTo FromBinary ToBinary BCDEx3 BinaryNumberToString ToPOS ToROBDD ExcitationTable Nand LeastSignificantDigit MantissaToPositiveInteger RadixToIndex POS Print ShortestInputsForDistinguishTwoStates Forwardly CreateCompactTable CreateCompactTableWithFullSimplification Compatibility ROBDD DontCare MultiCover Shannon TimingChart GetSubTable ComputeFunctionOrder Zero