Searched refs:ranked_op (Results 1 – 1 of 1) sorted by relevance
556 … turn_operation_type const& ranked_op = ranked_turn.operations[ranked_point.operation_index]; in analyze_cluster_intersection() local558 if (ranked_op.visited.finalized()) in analyze_cluster_intersection()