(self, formula, args, **kwargs)
return theory_out
Extends the Theory with Non-Linear, if needed.
Extends the Theory with Non-Linear, if needed.
Extends the Theory with Non - Linear if needed .
def walk_times(self, formula, args, **kwargs):
        """Extends the Theory with Non-Linear, if needed."""
        theory_out = args[0]
        for t in args[1:]:
            theory_out = theory_out.combine(t)
        # Check for non-linear counting the arguments having at least
        # one free variable
        if sum(1 for x in formula.args() if x.get_free_variables()) > 1:
            theory_out = theory_out.set_linear(False)
        # This is  not in DL anymore
        theory_out = theory_out.set_difference_logic(False)
        return theory_out
def walk_times ( self , formula , args , * * kwargs ) : theory_out = args [ 0 ] for t in args [ 1 : ] : theory_out = theory_out . combine ( t ) # Check for non-linear counting the arguments having at least # one free variable if sum ( 1 for x in formula . args ( ) if x . get_free_variables ( ) ) > 1 : theory_out = theory_out . set_linear ( False ) # This is  not in DL anymore theory_out = theory_out . set_difference_logic ( False ) return theory_out