Searched refs:BacktrackInfo (Results 1 – 8 of 8) sorted by relevance
99 class BacktrackInfo { class in bliss::Partition108 std::vector<BacktrackInfo> bt_stack;
156 BacktrackInfo info; in set_backtrack_point()170 BacktrackInfo info = bt_stack[p]; in goto_backtrack_point()
151 BacktrackInfo info; in set_backtrack_point()165 BacktrackInfo info = bt_stack[p]; in goto_backtrack_point()
96 class BacktrackInfo { class in bliss::Partition105 std::vector<BacktrackInfo> bt_stack;
151 BacktrackInfo info; in set_backtrack_point()166 BacktrackInfo info = bt_stack[p]; in goto_backtrack_point()
99 class BacktrackInfo { class in bliss_digraphs::Partition108 std::vector<BacktrackInfo> bt_stack;
139 BacktrackInfo info; in set_backtrack_point()153 BacktrackInfo info = bt_stack[p]; in goto_backtrack_point()