import epackage "platform:/resource/ModelGenExampleFAM_standalone/inputs/FamMetamodel.ecore" import viatra "platform:/resource/ModelGenExampleFAM_standalone/inputs/FamPatterns.vql" generate { metamodel = { package functionalarchitecture } constraints = { package hu.bme.mit.inf.dslreasoner.domains.fam } partial-model = { "platform:/resource/ModelGenExampleFAM_standalone/inputs/FamInstance.xmi"} solver = ViatraSolver scope = { #node = 5 } config = { runtime = 10000, log-level = normal } number = 5 runs = 5 debug = "platform:/resource/ModelGenExampleFAM_standalone/outputs/debug" log = "platform:/resource/ModelGenExampleFAM_standalone/outputs/log.txt" output = "platform:/resource/ModelGenExampleFAM_standalone/outputs/models" statistics = "platform:/resource/ModelGenExampleFAM_standalone/outputs/statistics.csv" }