From 67433ae32560da92d74ae8029d5cdc9bc5e4e808 Mon Sep 17 00:00:00 2001 From: Dylan Jeannin Date: Fri, 17 Jul 2026 13:51:18 +0200 Subject: [PATCH] AdisTS: delete duplicate function --- src/Solver/AdisTS.py | 3 --- 1 file changed, 3 deletions(-) diff --git a/src/Solver/AdisTS.py b/src/Solver/AdisTS.py index 3852a2eb..6c6657cf 100644 --- a/src/Solver/AdisTS.py +++ b/src/Solver/AdisTS.py @@ -117,9 +117,6 @@ class AdisTS(CommandLineSolver): _nodes_names = {} _nodes_views = set() - def get_reach_name(self, reach): - return f"Reach_{reach.pamhyr_id:>3}".replace(" ", "0") - def get_node_name(self, node): """Generate a 3 char name for node