(self, formula)
return self.walk(formula)
Returns whether formula is Quantifier Free.
Returns whether formula is Quantifier Free.
Returns whether formula is Quantifier Free .
def is_qf(self, formula):
        """ Returns whether formula is Quantifier Free. """
        return self.walk(formula)
def is_qf ( self , formula ) : return self . walk ( formula )