Examples with ExtractedModel de.prob.scripting.ExtractedModel used on opensource projects

Example 1 with ExtractedModel

use of de.prob.scripting.ExtractedModel in project prob2 by bendisposto.

the class RulesModelFactory method extract.

public ExtractedModel<RulesModel> extract(File runnerFile, RulesProject rulesProject) {
    RulesModel rulesModel = modelCreator.get();
    rulesModel = rulesModel.create(runnerFile, rulesProject);
    return new ExtractedModel<>(rulesModel, new ClassicalBMachine(rulesProject.getBModels().get(0).getMachineName()));
}