Advanced BDD binary() FromBinary BCD BCDEx3 TwoComplement Convert ToTruthTable ToVariableInvertedFunction Diagram DigitalSystem Dimacs FeedbackSystem LogicScript NumberSystem MantissaToPositiveInteger PositiveNumberToMantissa Radixes RadixToIndex OrAnd SOP Save Sequential ToDigitalSystem HuffmanMealy DontCare var XORP Zero