def __init__(self, name, expression, mathml=None, initRetrievalTime='undefined'): self.name = name self.mathml = mathml self.results = {} self.documents = {} if mathml is not None: # parse from mathml (additional information extracted) self.tree = MathExtractor.convert_and_link_mathml(mathml) self.expression = self.tree.tostring() else: # parse from SLT string (no mathml information available) self.tree = SymbolTree.parse_from_slt(expression) self.expression = expression self.constraints = Query.create_default_constraints(self.tree) self.sorted_results = None self.sorted_result_index = None self.sorted_abs_ranks = None self.sorted_documents = None self.sorted_document_index = None self.elapsed_time = 0.0 # RZ: add tuple-based retrieval time and other measures. self.initRetrievalTime = initRetrievalTime self.postings = None self.matchedFormulae = None self.matchedDocs = None # cache ... self.html_queryblock = {}
def __init__(self, query, expression, original_ranking, original_score, mathml=None): self.query = query self.original_ranking = original_ranking self.original_score = original_score self.mathml = mathml self.new_scores = [0.0] if mathml is not None: # parse from mathml (additional information extracted) self.tree = MathExtractor.convert_and_link_mathml(mathml) self.expression = self.tree.tostring() out_file = open("probando.txt", 'w', encoding='utf-8') out_file.write(self.tree.tostring()) out_file.close() else: # parse from SLT string (no mathml information available) self.tree = SymbolTree.parse_from_slt(expression) self.expression = expression if self.tree.tostring() != expression: print("Bad conversion for result for query " + query.name + ": " + expression + " -> " + self.tree.tostring()) exit(1) self.locations = [] self.matched_elements = [] self.unified_elements = {} self.wildcard_matches = {} self.all_unified = [] self.times_rendered = 0
def __init__(self, name, expression, mathml=None, initRetrievalTime='undefined', max_results=0): self.name = name self.mathml = mathml self.results = {} self.documents = {} if mathml is not None: # parse from mathml (additional information extracted) self.tree = MathExtractor.convert_and_link_mathml(mathml) self.expression = self.tree.tostring() else: # parse from SLT string (no mathml information available) self.tree = SymbolTree.parse_from_slt(expression) self.expression = expression self.constraints = Query.create_default_constraints(self.tree) self.sorted_results = None self.sorted_result_index = None self.sorted_abs_ranks = None self.sorted_documents = None self.sorted_document_index = None self.elapsed_time = 0.0 # RZ: add tuple-based retrieval time and other measures. self.initRetrievalTime = initRetrievalTime self.postings = None self.matchedFormulae = None self.matchedDocs = None # Re-rank at most K results self.max_results = max_results # cache ... self.html_queryblock = {}
def __init__(self, query, expression, original_ranking, original_score, mathml=None): self.query = query self.original_ranking = original_ranking self.original_score = original_score self.mathml = mathml self.new_scores = [0.0] if mathml is not None: # parse from mathml (additional information extracted) self.tree = MathExtractor.convert_and_link_mathml(mathml) self.expression = self.tree.tostring() else: # parse from SLT string (no mathml information available) self.tree = SymbolTree.parse_from_slt(expression) self.expression = expression # print(self.tree.tostring() == expression) self.locations = [] self.matched_elements = [] self.unified_elements = [] self.times_rendered = 0