|
@@ -297,7 +297,7 @@ Element function match(host_model : Element, schedule_model : Element, LHS : Str
|
|
|
set_add_node(mappings, initial_mapping)
|
|
set_add_node(mappings, initial_mapping)
|
|
|
while (list_len(schedule) > 0):
|
|
while (list_len(schedule) > 0):
|
|
|
current_element = list_pop(schedule, list_len(schedule) - 1)
|
|
current_element = list_pop(schedule, list_len(schedule) - 1)
|
|
|
- //log("Binding element with label " + cast_v2s(read_attribute(schedule_model, current_element, "label")))
|
|
|
|
|
|
|
+ log("Binding element with label " + cast_v2s(read_attribute(schedule_model, current_element, "label")))
|
|
|
new_mappings = dict_create()
|
|
new_mappings = dict_create()
|
|
|
|
|
|
|
|
while (set_len(mappings) > 0):
|
|
while (set_len(mappings) > 0):
|
|
@@ -311,7 +311,7 @@ Element function match(host_model : Element, schedule_model : Element, LHS : Str
|
|
|
set_add_node(new_mappings, new_map)
|
|
set_add_node(new_mappings, new_map)
|
|
|
|
|
|
|
|
mappings = new_mappings
|
|
mappings = new_mappings
|
|
|
- //log("Remaining options: " + cast_v2s(set_len(mappings)))
|
|
|
|
|
|
|
+ log("Remaining options: " + cast_v2s(set_len(mappings)))
|
|
|
|
|
|
|
|
if (set_len(mappings) == 0):
|
|
if (set_len(mappings) == 0):
|
|
|
// Stop because we have no more options remaining!
|
|
// Stop because we have no more options remaining!
|
