(self, formula)
return self.walk(formula)
Returns the thoery for the formula.
Returns the thoery for the formula.
Returns the thoery for the formula .
def get_theory(self, formula):
        """Returns the thoery for the formula."""
        return self.walk(formula)
def get_theory ( self , formula ) : return self . walk ( formula )