(iff, left, right)
return get_env().formula_manager.Ite(iff, left, right)
r""".. math:: \text{ If } i \text{ Then } l \text{ Else } r
r""".. math:: \text{ If } i \text{ Then } l \text{ Else } r
r .. math :: \ text { If } i \ text { Then } l \ text { Else } r
def Ite(iff, left, right):
    r""".. math:: \text{ If } i \text{ Then } l \text{ Else } r"""
    return get_env().formula_manager.Ite(iff, left, right)
def Ite ( iff , left , right ) : return get_env ( ) . formula_manager . Ite ( iff , left , right )