IsBiUnateFunction IsEqual IsOneFunction IsSelfAntiDualFunction IsZeroFunction AndXor binaryioset ToDiagram Load MantissaToPositiveNumber PositiveDecimalToMantissa RadixToIndex object() Solve ShortestInputsForDistinguishTwoStates Forwardly CreateCompactTable GetExcitationTable Implementation ToDigitalSystem BestVariableOrder FastVerificationData Full MultiCover TimingChart RandomGenerate Substitute var XORP Zero