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