(self, formula)
return self.walk(formula)
Convert a PySMT formula into a BDD.
Convert a PySMT formula into a BDD.
Convert a PySMT formula into a BDD .
def convert(self, formula):
        """Convert a PySMT formula into a BDD."""
        return self.walk(formula)
def convert ( self , formula ) : return self . walk ( formula )