(self, oracle_name, query_result, index_for_querying)
record the query history
record the query history
record the query history
def _update_query_history(self, oracle_name, query_result, index_for_querying):
        """record the query history"""
        self.query_history.append((oracle_name, query_result, index_for_querying))
def _update_query_history ( self , oracle_name , query_result , index_for_querying ) : self . query_history . append ( ( oracle_name , query_result , index_for_querying ) )