(self, formula)
return self.walk(formula)
Converts the given formula in AIG
Converts the given formula in AIG
Converts the given formula in AIG
def convert(self, formula):
        """ Converts the given formula in AIG """
        return self.walk(formula)
def convert ( self , formula ) : return self . walk ( formula )