(self, subs, interpretations=None)
return _env().substituter.substitute(self, subs=subs,
                                             interpretations=interpretations)
Return a formula in which subformula have been substituted.

        subs is a dictionary mapping terms to be subtituted with their
        substitution.
        interpretations is a dictionary mapping function symbols to an FunctionInterpretation objects describing the semantics of the function.
Return a formula in which subformula have been substituted.
Return a formula in which subformula have been substituted .
def substitute(self, subs, interpretations=None):
        """Return a formula in which subformula have been substituted.

        subs is a dictionary mapping terms to be subtituted with their
        substitution.
        interpretations is a dictionary mapping function symbols to an FunctionInterpretation objects describing the semantics of the function.
        """
        return _env().substituter.substitute(self, subs=subs,
                                             interpretations=interpretations)
def substitute ( self , subs , interpretations = None ) : return _env ( ) . substituter . substitute ( self , subs = subs , interpretations = interpretations )