From fddb98a679d813a5be4a78ad46ebde5a8cda2bb4 Mon Sep 17 00:00:00 2001 From: Tommy Persson <tommy.persson@liu.se> Date: Fri, 27 May 2016 07:42:31 +0200 Subject: [PATCH] Work on multiple expansions for a node in delegation back-tracking. --- srv/TSTExecutorExpand.srv | 2 ++ 1 file changed, 2 insertions(+) diff --git a/srv/TSTExecutorExpand.srv b/srv/TSTExecutorExpand.srv index d156d67..77c4a0a 100644 --- a/srv/TSTExecutorExpand.srv +++ b/srv/TSTExecutorExpand.srv @@ -6,8 +6,10 @@ string ns # Namespace for the tstfactory int32 id # id for the TST node in the tstfactory int32 free_id # First free unique id string[] possible_units # List of posssible units. Needed to declare constraints vars. +int32 expansion_try --- int32 free_id # Returns the first free unique id in the delegation +int32 expansion_can_be_tried bool success int32 error string reason -- GitLab