PermuteLogicFunction IsParityFunction IsPositiveUnateFunctionTo IsThresholdFunction IsZeroFunction BDD Binary AbsoluteExpression ToBinary PureBinary ToAndXor ToROBDD DigitalSystem Get PositiveDecimalToMantissa RadixToIndex object() real() Realization SOP Save ShortestInputsForTransition OutputAndStateBasedly CreateCompactTable Implementation FastVerificationData GetNegativeLogicFunction RandomGenerate EnlargeLogicFunction Zero