(self, formula, args, **kwargs)
return theory_out
Extends the Theory with Integer.
Extends the Theory with Integer.
Extends the Theory with Integer .
def walk_bv_tonatural(self, formula, args, **kwargs):
        #pylint: disable=unused-argument
        """Extends the Theory with Integer."""
        theory_out = args[0].copy()
        theory_out.integer_arithmetic = True
        theory_out.integer_difference = True
        return theory_out
def walk_bv_tonatural ( self , formula , args , * * kwargs ) : #pylint: disable=unused-argument theory_out = args [ 0 ] . copy ( ) theory_out . integer_arithmetic = True theory_out . integer_difference = True return theory_out