aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java
diff options
context:
space:
mode:
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java')
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java2
1 files changed, 2 insertions, 0 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java
index ac49a9aa..aca97399 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java
@@ -16,6 +16,7 @@ import hu.bme.mit.inf.dslreasoner.logic.model.builder.TracedOutput;
16import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type; 16import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type;
17import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem; 17import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem;
18import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult; 18import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult;
19import hu.bme.mit.inf.dslreasoner.logic2ecore.Logic2Ecore;
19import hu.bme.mit.inf.dslreasoner.viatra2logic.Viatra2Logic; 20import hu.bme.mit.inf.dslreasoner.viatra2logic.Viatra2Logic;
20import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic.InstanceModel2Logic; 21import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic.InstanceModel2Logic;
21import hu.bme.mit.inf.dslreasoner.workspace.FileSystemWorkspace; 22import hu.bme.mit.inf.dslreasoner.workspace.FileSystemWorkspace;
@@ -36,6 +37,7 @@ public class FAMTest {
36 public static void main(final String[] args) { 37 public static void main(final String[] args) {
37 try { 38 try {
38 final Ecore2Logic ecore2Logic = new Ecore2Logic(); 39 final Ecore2Logic ecore2Logic = new Ecore2Logic();
40 final Logic2Ecore logic2Ecore = new Logic2Ecore(ecore2Logic);
39 final Viatra2Logic viatra2Logic = new Viatra2Logic(ecore2Logic); 41 final Viatra2Logic viatra2Logic = new Viatra2Logic(ecore2Logic);
40 final InstanceModel2Logic instanceModel2Logic = new InstanceModel2Logic(); 42 final InstanceModel2Logic instanceModel2Logic = new InstanceModel2Logic();
41 StringConcatenation _builder = new StringConcatenation(); 43 StringConcatenation _builder = new StringConcatenation();