Searched refs:saved_line_user_flags (Results 1 – 1 of 1) sorted by relevance
2102 std::vector<bool> saved_line_user_flags; in renumber_face_dofs() local2105 .save_user_flags_line(saved_line_user_flags); in renumber_face_dofs()2180 .load_user_flags_line(saved_line_user_flags); in renumber_face_dofs()2211 std::vector<bool> saved_line_user_flags; in renumber_face_dofs() local2214 .save_user_flags_line(saved_line_user_flags); in renumber_face_dofs()2284 .load_user_flags_line(saved_line_user_flags); in renumber_face_dofs()