Analysis IsLinearFunction IsParityFunction AndXor MinValue BCDEx3 Eq Imply long() PositiveIntegerToMantissa Radixes object() To2LayerOrAnd To2LayerAndXor Save ShortestInputsForDistinguishTwoStates ShortestInputsForTransition InputVariables StateVariables ToStateTransitionTable FullTable HuffmanMealy FastVerificationData SimpleInner CreateFromLogicFunctions GetNegativeLogicFunction GetPositiveLogicFunction RandomGenerate ShannonExpansion Zero