(self, lit)
Handle the assignment of a literal for the VSIDS heuristic.
Handle the assignment of a literal for the VSIDS heuristic.
Handle the assignment of a literal for the VSIDS heuristic .
def _vsids_lit_assigned(self, lit):
        """Handle the assignment of a literal for the VSIDS heuristic."""
        pass
def _vsids_lit_assigned ( self , lit ) : pass