From 8092890090b466b908d92f0da22d56916b777bd9 Mon Sep 17 00:00:00 2001 From: Tommy Persson <tommy.persson@liu.se> Date: Thu, 19 Feb 2015 16:30:20 +0100 Subject: [PATCH] Adding possiblle_units as argument to expand call in exececutors. --- srv/TSTExecutorExpand.srv | 1 + 1 file changed, 1 insertion(+) diff --git a/srv/TSTExecutorExpand.srv b/srv/TSTExecutorExpand.srv index 072ae92..d156d67 100644 --- a/srv/TSTExecutorExpand.srv +++ b/srv/TSTExecutorExpand.srv @@ -5,6 +5,7 @@ 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 free_id # Returns the first free unique id in the delegation bool success -- GitLab