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
IsOneFunction IsParityFunction IsSelfDualFunction MinValue ToShannonTree Count long() long MantissaToPositiveNumber MostSignificantDigit OrAnd PermutationMatrix To2LayerOrAnd SOP TransitionSeries OutputAndStateBasedly ToFeedbackSystem ToDigitalSystem FastVerificationData ROBDD SimpleCover StateDeviceName TruthTable GetSubTable ComputeFunctionOrder CreateDummyLogicFunction EnlargeLogicFunction SemanticEval var Zero