diff options
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.java | 2 |
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; | |||
16 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type; | 16 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type; |
17 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem; | 17 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem; |
18 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult; | 18 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult; |
19 | import hu.bme.mit.inf.dslreasoner.logic2ecore.Logic2Ecore; | ||
19 | import hu.bme.mit.inf.dslreasoner.viatra2logic.Viatra2Logic; | 20 | import hu.bme.mit.inf.dslreasoner.viatra2logic.Viatra2Logic; |
20 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic.InstanceModel2Logic; | 21 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic.InstanceModel2Logic; |
21 | import hu.bme.mit.inf.dslreasoner.workspace.FileSystemWorkspace; | 22 | import 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(); |