IsBiUnateFunction IsNegativeUnateFunctionTo Convert ToAndXor ToPOS ExcitationTable long Nor Not MantissaToPositiveNumber RadixToIndex object() Or To2LayerAndOr Forwardly CreateCompactTableWithFullSimplification ShannonTree ROBDD Full MultiCover StateTransition string() TimingChart ComputeDONTCARE ComputeFunctionOrder CreateDummyLogicFunction EnlargeLogicFunction Normalization var Zero