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
IsPositiveUnateFunctionTo IsSelfDualFunction IsSymmetricFunction NineComplement TwoComplement binary Convert ToOrAnd ToPOS Dimacs Eq ExcitationTable FeedbackDiagram logicvardef() logicvardef PositiveIntegerToMantissa RadixToIndex object() real ToFullAnd ToStateTransitionTable ShannonTree BestVariableOrder SimpleInner StateDeviceName ComputeDONTCARE ComputeFunctionOrder ShannonExpansion Xor Zero