(self, formula, args, **kwargs)
return theory_out
Extends the Theory with LIRA.
Extends the Theory with LIRA.
Extends the Theory with LIRA .
def walk_toreal(self, formula, args, **kwargs):
        #pylint: disable=unused-argument
        """Extends the Theory with LIRA."""
        theory_out = args[0].set_lira() # This makes a copy of args[0]
        return theory_out
        rtype = formula.symbol_name()
def walk_toreal ( self , formula , args , * * kwargs ) : #pylint: disable=unused-argument theory_out = args [ 0 ] . set_lira ( ) # This makes a copy of args[0] return theory_out rtype = formula . symbol_name ( )