(self, formula, args, **kwargs)
return theory_out
Returns a new theory object with the type of the symbol.
Returns a new theory object with the type of the symbol.
Returns a new theory object with the type of the symbol .
def walk_symbol(self, formula, args, **kwargs):
        """Returns a new theory object with the type of the symbol."""
        #pylint: disable=unused-argument
        f_type = formula.symbol_type()
        theory_out = self._theory_from_type(f_type)
        return theory_out
def walk_symbol ( self , formula , args , * * kwargs ) : #pylint: disable=unused-argument f_type = formula . symbol_type ( ) theory_out = self . _theory_from_type ( f_type ) return theory_out