diff options
author | 2019-01-15 12:44:33 -0500 | |
---|---|---|
committer | 2019-01-15 12:44:33 -0500 | |
commit | 20f131a3f09edf8e1455f20b4f486629147e7eff (patch) | |
tree | 690ee30b62caf76bdc7d45f183382965e4e7bf05 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapperTrace.java | |
parent | ViatraSolver as default (diff) | |
download | VIATRA-Generator-20f131a3f09edf8e1455f20b4f486629147e7eff.tar.gz VIATRA-Generator-20f131a3f09edf8e1455f20b4f486629147e7eff.tar.zst VIATRA-Generator-20f131a3f09edf8e1455f20b4f486629147e7eff.zip |
Initial workspace setup
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapperTrace.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapperTrace.java | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapperTrace.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapperTrace.java new file mode 100644 index 00000000..855815f8 --- /dev/null +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapperTrace.java | |||
@@ -0,0 +1,34 @@ | |||
1 | package ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder; | ||
2 | |||
3 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.Logic2VampireLanguageMapper_TypeMapperTrace; | ||
4 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula; | ||
5 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction; | ||
6 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm; | ||
7 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable; | ||
8 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel; | ||
9 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDeclaration; | ||
10 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDefinition; | ||
11 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDeclaration; | ||
12 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDefinition; | ||
13 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Variable; | ||
14 | import java.util.HashMap; | ||
15 | import java.util.Map; | ||
16 | |||
17 | @SuppressWarnings("all") | ||
18 | public class Logic2VampireLanguageMapperTrace { | ||
19 | public VampireModel specification; | ||
20 | |||
21 | public VLSFofFormula logicLanguageBody; | ||
22 | |||
23 | public VLSTerm formula; | ||
24 | |||
25 | public Logic2VampireLanguageMapper_TypeMapperTrace typeMapperTrace; | ||
26 | |||
27 | public Map<ConstantDeclaration, ConstantDefinition> constantDefinitions; | ||
28 | |||
29 | public Map<RelationDeclaration, RelationDefinition> relationDefinitions; | ||
30 | |||
31 | public final Map<Variable, VLSVariable> relationVar2VLS = new HashMap<Variable, VLSVariable>(); | ||
32 | |||
33 | public final Map<Variable, VLSFunction> relationVar2TypeDec = new HashMap<Variable, VLSFunction>(); | ||
34 | } | ||