Sequential.Simplification.HuffmanMealy
Back to table
/*
SequentialLogic
Sequential.Simplification.HuffmanMealy
[StateTransition result]=Sequential.Simplification.HuffmanMealy(StateTransition table);
Simplify a completely defined state-transition-table with the Huffman-Mealy method.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsLinearFunction IsOneFunction IsPositiveFunction IsSelfAntiDualFunction IsSymmetricFunction IsUnateFunctionTo BDD List ToDualFunction ExcitationTable FeedbackSystem Imply long() Nand RadixFromIndex Assign AutoAssignInputAndStateVariables StateVariables ToFeedbackSystem CreateCompactTableWithFullSimplification Fast FastVerificationData Canonical SimpleInner CreateFromLogicFunctions GetSubTable RandomGenerate Normalization ShannonExpansion Zero