#NEWLINE# def _vsids_init( self ) : #NEWLINE# #INDENT# 'Initialize the data structures needed for the VSIDS heuristic.' #NEWLINE# self . lit_heap = [ ] #NEWLINE# self . lit_scores = { #NEWLINE# #INDENT# #NEWLINE# #UNINDENT# } #NEWLINE# for var in range ( 1 , len ( self . variable_set ) ) : #NEWLINE# #INDENT# self . lit_scores [ var ] = float ( ( - self . occurrence_count [ var ] ) ) #NEWLINE# self . lit_scores [ ( - var ) ] = float ( ( - self . occurrence_count [ ( - var ) ] ) ) #NEWLINE# heappush ( self . lit_heap , ( self . lit_scores [ var ] , var ) ) #NEWLINE# heappush ( self . lit_heap , ( self . lit_scores [ ( - var ) ] , ( - self ) ) )