def __init__(self, k, s, graphclassobject = None):
self.k = k
self.s = s
self.PG = graphclassobject
self.Hext = []
self.Htopk = []
heapq._heapify_max(self.Hext)
heapq.heapify(self.Htopk)
self.St2 = ST.Search_Tree(self.PG.G.nodes)
self.t = 0
self.prmc = 0.0
self.prune_basic = 0
self.prune_size_based = 0
self.prune3_antimonoton = 0
self.prune_lookahead = 0
self.prune_basic_c = 0
self.prune_size_based_c = 0
self.prune3_antimonoton_c = 0
self.prune_lookahead_c = 0
self.gench_ph1 = 0
self.gench_ph2 = 0
self.uptopk_ph1 = 0
self.add_ch_ph1 = 0
