Searched refs:edge_usage_status (Results 1 – 1 of 1) sorted by relevance
276 …std::unordered_map<const Intersection*, std::size_t> edge_usage_status; // keep or remove a… in reconstruct() local281 edge_usage_status[&fan] = var_idx; in reconstruct()378 std::size_t var_edge_usage_idx = edge_usage_status[&fan]; in reconstruct()