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)
