From e42103883173e2bef5c2d9a6c9f84fe18df8a9c6 Mon Sep 17 00:00:00 2001
From: Ghofrane Amaimi <ghofraneeamaimi@gmail.com>
Date: Mon, 9 May 2022 18:04:29 +0200
Subject: [PATCH] add structures of a new node and edge of the product
---
src/algorithm/CNDFS.cpp | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/algorithm/CNDFS.cpp b/src/algorithm/CNDFS.cpp
index d2ca110..53f1ebb 100644
--- a/src/algorithm/CNDFS.cpp
+++ b/src/algorithm/CNDFS.cpp
@@ -23,7 +23,7 @@ struct product_node{
struct product_node_succ{
vector<pair<LDDState*, int> > succ_left;
- spot::twa_succ_iterator &succ_right;
+ spot::twa_succ_iterator &sadd structures of a new node and edge of the product ucc_right;
};
std::mutex mtx;
--
GitLab