blob: 29a2ecea122278940bb4ae1c645d5d7d06b8573e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
package ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder;
import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.Logic2VampireLanguageMapperTrace;
import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.MonitoredVampireSolution;
import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel;
import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem;
import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultFactory;
import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult;
import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics;
import org.eclipse.emf.common.util.EList;
import org.eclipse.xtext.xbase.lib.Extension;
import org.eclipse.xtext.xbase.lib.ObjectExtensions;
import org.eclipse.xtext.xbase.lib.Procedures.Procedure1;
@SuppressWarnings("all")
public class Vampire2LogicMapper {
@Extension
private final LogicresultFactory resultFactory = LogicresultFactory.eINSTANCE;
public ModelResult transformOutput(final LogicProblem problem, final int requiredNumberOfSolution, final MonitoredVampireSolution monitoredVampireSolution, final Logic2VampireLanguageMapperTrace trace, final long transformationTime) {
ModelResult _createModelResult = this.resultFactory.createModelResult();
final Procedure1<ModelResult> _function = (ModelResult it) -> {
it.setProblem(problem);
EList<Object> _representation = it.getRepresentation();
VampireModel _generatedModel = monitoredVampireSolution.getGeneratedModel();
_representation.add(_generatedModel);
it.setTrace(trace);
it.setStatistics(this.transformStatistics(monitoredVampireSolution, transformationTime));
};
return ObjectExtensions.<ModelResult>operator_doubleArrow(_createModelResult, _function);
}
public Statistics transformStatistics(final MonitoredVampireSolution solution, final long transformationTime) {
return this.resultFactory.createStatistics();
}
}
|