diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-03-05 13:37:02 -0500 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:22:39 -0400 |
commit | f019f3ec81976f8e05d0c7458aba2f29b18461d0 (patch) | |
tree | d9c338f8ddf33bbdd35018404b57608782796b26 /Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/VampireTest.java | |
parent | Begin handing of scope and fix type definitions. (diff) | |
download | VIATRA-Generator-f019f3ec81976f8e05d0c7458aba2f29b18461d0.tar.gz VIATRA-Generator-f019f3ec81976f8e05d0c7458aba2f29b18461d0.tar.zst VIATRA-Generator-f019f3ec81976f8e05d0c7458aba2f29b18461d0.zip |
Implement type scope handling
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/VampireTest.java')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/VampireTest.java | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/VampireTest.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/VampireTest.java index 74f117f2..7228b48a 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/VampireTest.java +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/VampireTest.java | |||
@@ -4,6 +4,7 @@ import ca.mcgill.ecse.dslreasoner.VampireLanguageStandaloneSetup; | |||
4 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolver; | 4 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolver; |
5 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolverConfiguration; | 5 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolverConfiguration; |
6 | import hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.Ecore2logicannotationsPackage; | 6 | import hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.Ecore2logicannotationsPackage; |
7 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.DocumentationLevel; | ||
7 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicProblemBuilder; | 8 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicProblemBuilder; |
8 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicReasoner; | 9 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicReasoner; |
9 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.VariableContext; | 10 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.VariableContext; |
@@ -68,7 +69,8 @@ public class VampireTest { | |||
68 | reasoner = _vampireSolver; | 69 | reasoner = _vampireSolver; |
69 | VampireSolverConfiguration _vampireSolverConfiguration = new VampireSolverConfiguration(); | 70 | VampireSolverConfiguration _vampireSolverConfiguration = new VampireSolverConfiguration(); |
70 | final Procedure1<VampireSolverConfiguration> _function = (VampireSolverConfiguration it) -> { | 71 | final Procedure1<VampireSolverConfiguration> _function = (VampireSolverConfiguration it) -> { |
71 | it.writeToFile = true; | 72 | it.documentationLevel = DocumentationLevel.FULL; |
73 | it.typeScopes.minNewElements = 4; | ||
72 | }; | 74 | }; |
73 | final VampireSolverConfiguration vampireConfig = ObjectExtensions.<VampireSolverConfiguration>operator_doubleArrow(_vampireSolverConfiguration, _function); | 75 | final VampireSolverConfiguration vampireConfig = ObjectExtensions.<VampireSolverConfiguration>operator_doubleArrow(_vampireSolverConfiguration, _function); |
74 | solution = reasoner.solve(problem, vampireConfig, workspace); | 76 | solution = reasoner.solve(problem, vampireConfig, workspace); |