merge_EPN.alc 433 B

1234567891011121314151617
  1. include "primitives.alh"
  2. include "modelling.alh"
  3. Boolean function main(model : Element):
  4. Element keys
  5. String key
  6. Element split
  7. keys = dict_keys(model["model"])
  8. while (set_len(keys) > 0):
  9. key = set_pop(keys)
  10. split = string_split(read_type(model, key), "/")
  11. retype(model, key, string_join("Encapsulated_PetriNet/", split[1]))
  12. //log("merge_EPN has seen # elements: " + cast_value(dict_len(model["model"])))
  13. return True!