diff --git a/srv/TSTExecutorExpand.srv b/srv/TSTExecutorExpand.srv index d156d6752378ba5681cfa0cefe519dda04a0350f..77c4a0acf91f1f6a745328b56888bf6bbd637871 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