(self, formula, args, **kwargs)
return theory_out
Extends the Theory with Strings.
Extends the Theory with Strings.
Extends the Theory with Strings .
def walk_strings(self, formula, args, **kwargs):
        """Extends the Theory with Strings."""
        #pylint: disable=unused-argument
        if formula.is_string_constant():
            theory_out = Theory(strings=True)
        else:
            theory_out = args[0].set_strings() # This makes a copy of args[0]
        return theory_out
def walk_strings ( self , formula , args , * * kwargs ) : #pylint: disable=unused-argument if formula . is_string_constant ( ) : theory_out = Theory ( strings = True ) else : theory_out = args [ 0 ] . set_strings ( ) # This makes a copy of args[0] return theory_out