def set_options(self, force_read=False, no_stmts=False, force_fulltext=False, prioritize=False, max_reach_input_len=None, max_reach_space_ratio=None):
    self.options['force_fulltext'] = force_fulltext
    self.options['prioritize'] = prioritize
    self.options['max_reach_input_len'] = max_reach_input_len
    self.options['max_reach_space_ratio'] = max_reach_space_ratio
    return
def set_options(self, force_read=False, no_stmts=False, force_fulltext=False, prioritize=False, max_reach_input_len=None, max_reach_space_ratio=None):
    self.options['force_fulltext'] = force_fulltext
    self.options['prioritize'] = prioritize
    self.options['max_reach_input_len'] = max_reach_input_len
    self.options['max_reach_space_ratio'] = max_reach_space_ratio
    return