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
