| 12345678910111213 |
- Void function initialize_core()
- Void function new_task()
- String function get_service_id(name : String)
- Element function merge_models(models_dict : Element, operation_id : String)
- Element function split_model(model : Element, metamodels_dict : Element)
- Element function get_model(model_name : String, metamodel_name : String)
- Void function store_model(model_name : String, metamodel_name : String, model : Element)
- String function get_ramified_metamodel(model_name : String)
- // This should be removed, as it allows everyone to alter the core...
- Element core
|
