Searched defs:kept_section_id (Results 1 – 1 of 1) sorted by relevance
237 const std::vector<unsigned int>& kept_section_id, in get_section_contents()570 std::vector<unsigned int>* kept_section_id, in match_sections()814 unsigned int kept_section_id = this->kept_section_id_[section_num]; in unfold_section() local831 unsigned int kept_section_id = this->kept_section_id_[section_num]; in is_section_folded() local844 unsigned int kept_section_id = this->kept_section_id_[section_num]; in get_folded_section() local