(quantifier_free=False,
              arrays=False,
              arrays_const=False,
              bit_vectors=False,
              floating_point=False,
              integer_arithmetic=False,
              real_arithmetic=False,
              integer_difference=False,
              real_difference=False,
              linear=True,
              uninterpreted=False,
              custom_type=False,
              strings=False)
Returns the Logic that matches the given properties.

    Equivalent (but better) to executing get_logic_by_name(get_logic_name(...))
Returns the Logic that matches the given properties.
Returns the Logic that matches the given properties .
def get_logic(quantifier_free=False,
              arrays=False,
              arrays_const=False,
              bit_vectors=False,
              floating_point=False,
              integer_arithmetic=False,
              real_arithmetic=False,
              integer_difference=False,
              real_difference=False,
              linear=True,
              uninterpreted=False,
              custom_type=False,
              strings=False):
    """Returns the Logic that matches the given properties.

    Equivalent (but better) to executing get_logic_by_name(get_logic_name(...))
    """

    for logic in LOGICS:
        if (logic.quantifier_free == quantifier_free and
            logic.theory.arrays == arrays and
            logic.theory.arrays_const == arrays_const and
            logic.theory.bit_vectors == bit_vectors and
            logic.theory.floating_point == floating_point and
            logic.theory.integer_arithmetic == integer_arithmetic and
            logic.theory.real_arithmetic == real_arithmetic and
            logic.theory.integer_difference == integer_difference and
            logic.theory.real_difference == real_difference and
            logic.theory.linear == linear and
            logic.theory.uninterpreted == uninterpreted and
            logic.theory.custom_type == custom_type and
            logic.theory.strings == strings):
            return logic
    raise UndefinedLogicError
def get_logic ( quantifier_free = False , arrays = False , arrays_const = False , bit_vectors = False , floating_point = False , integer_arithmetic = False , real_arithmetic = False , integer_difference = False , real_difference = False , linear = True , uninterpreted = False , custom_type = False , strings = False ) : for logic in LOGICS : if ( logic . quantifier_free == quantifier_free and logic . theory . arrays == arrays and logic . theory . arrays_const == arrays_const and logic . theory . bit_vectors == bit_vectors and logic . theory . floating_point == floating_point and logic . theory . integer_arithmetic == integer_arithmetic and logic . theory . real_arithmetic == real_arithmetic and logic . theory . integer_difference == integer_difference and logic . theory . real_difference == real_difference and logic . theory . linear == linear and logic . theory . uninterpreted == uninterpreted and logic . theory . custom_type == custom_type and logic . theory . strings == strings ) : return logic raise UndefinedLogicError