Skip to content
Snippets Groups Projects
Commit fddb98a6 authored by Tommy Persson's avatar Tommy Persson
Browse files

Work on multiple expansions for a node in delegation back-tracking.

parent ca5d5e27
No related branches found
No related tags found
No related merge requests found
...@@ -6,8 +6,10 @@ string ns # Namespace for the tstfactory ...@@ -6,8 +6,10 @@ string ns # Namespace for the tstfactory
int32 id # id for the TST node in the tstfactory int32 id # id for the TST node in the tstfactory
int32 free_id # First free unique id int32 free_id # First free unique id
string[] possible_units # List of posssible units. Needed to declare constraints vars. 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 free_id # Returns the first free unique id in the delegation
int32 expansion_can_be_tried
bool success bool success
int32 error int32 error
string reason string reason
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment