(self, formula, args, **kwargs)
return theory_out
Combines the current theory value of the children
Combines the current theory value of the children
Combines the current theory value of the children
def walk_combine(self, formula, args, **kwargs):
        """Combines the current theory value of the children"""
        #pylint: disable=unused-argument
        if len(args) == 1:
            return args[0].copy()
        theory_out = args[0]
        for t in args[1:]:
            theory_out = theory_out.combine(t)
        return theory_out
def walk_combine ( self , formula , args , * * kwargs ) : #pylint: disable=unused-argument if len ( args ) == 1 : return args [ 0 ] . copy ( ) theory_out = args [ 0 ] for t in args [ 1 : ] : theory_out = theory_out . combine ( t ) return theory_out