def __init__(self, query_storage, logic:Logic): assert hasattr(query_storage, '__iadd__') self._query_storage = query_storage self._query_storage += smt_helper.make_headers() self._query_storage += smt_helper.make_set_logic(logic) self._logic = logic
def __init__(self, query_storage, logic: Logic): self._query_storage = query_storage self._query_storage += smt_helper.make_headers() self._query_storage += smt_helper.make_set_logic(logic)
def __init__(self, query_storage, logic:Logic): self._query_storage = query_storage self._query_storage += smt_helper.make_headers() self._query_storage += smt_helper.make_set_logic(logic)