(formula, subs)
return get_env().substituter.substitute(formula, subs)
Applies the substitutions defined in the dictionary to the formula.

    :param formula: The target formula
    :type  formula: FNode
    :param subs: Specify the substitutions to apply to the formula
    :type  subs: A dictionary from FNode to FNode
    :returns: Formula after applying the substitutions
    :rtype: Fnode
Applies the substitutions defined in the dictionary to the formula.
Applies the substitutions defined in the dictionary to the formula .
def substitute(formula, subs):
    """Applies the substitutions defined in the dictionary to the formula.

    :param formula: The target formula
    :type  formula: FNode
    :param subs: Specify the substitutions to apply to the formula
    :type  subs: A dictionary from FNode to FNode
    :returns: Formula after applying the substitutions
    :rtype: Fnode
    """
    return get_env().substituter.substitute(formula, subs)
def substitute ( formula , subs ) : return get_env ( ) . substituter . substitute ( formula , subs )