diff options
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 | 65 |
1 files changed, 0 insertions, 65 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 deleted file mode 100644 index 22df456b..00000000 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapperTrace.java +++ /dev/null | |||
@@ -1,65 +0,0 @@ | |||
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.VLSConstant; | ||
5 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula; | ||
6 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction; | ||
7 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm; | ||
8 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable; | ||
9 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel; | ||
10 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDeclaration; | ||
11 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDefinition; | ||
12 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement; | ||
13 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDeclaration; | ||
14 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDefinition; | ||
15 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type; | ||
16 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Variable; | ||
17 | import java.util.HashMap; | ||
18 | import java.util.List; | ||
19 | import java.util.Map; | ||
20 | import org.eclipse.xtext.xbase.lib.CollectionLiterals; | ||
21 | |||
22 | @SuppressWarnings("all") | ||
23 | public class Logic2VampireLanguageMapperTrace { | ||
24 | public VampireModel specification; | ||
25 | |||
26 | public VLSFofFormula logicLanguageBody; | ||
27 | |||
28 | public VLSTerm formula; | ||
29 | |||
30 | public Logic2VampireLanguageMapper_TypeMapperTrace typeMapperTrace; | ||
31 | |||
32 | public Map<DefinedElement, String> definedElement2String = new HashMap<DefinedElement, String>(); | ||
33 | |||
34 | public Object topLvlElementIsInInitialModel = null; | ||
35 | |||
36 | public Object topLevelType = null; | ||
37 | |||
38 | public final Map<Type, VLSFunction> type2Predicate = new HashMap<Type, VLSFunction>(); | ||
39 | |||
40 | public final Map<VLSFunction, Type> predicate2Type = new HashMap<VLSFunction, Type>(); | ||
41 | |||
42 | public final Map<DefinedElement, VLSFunction> element2Predicate = new HashMap<DefinedElement, VLSFunction>(); | ||
43 | |||
44 | public final Map<Type, VLSTerm> type2PossibleNot = new HashMap<Type, VLSTerm>(); | ||
45 | |||
46 | public final Map<Type, VLSTerm> type2And = new HashMap<Type, VLSTerm>(); | ||
47 | |||
48 | public final List<VLSConstant> uniqueInstances = CollectionLiterals.<VLSConstant>newArrayList(); | ||
49 | |||
50 | public Map<ConstantDeclaration, ConstantDefinition> constantDefinitions; | ||
51 | |||
52 | public Map<RelationDeclaration, RelationDefinition> relationDefinitions; | ||
53 | |||
54 | public Map<RelationDeclaration, VLSFunction> rel2Predicate = new HashMap<RelationDeclaration, VLSFunction>(); | ||
55 | |||
56 | public Map<VLSFunction, RelationDeclaration> predicate2Relation = new HashMap<VLSFunction, RelationDeclaration>(); | ||
57 | |||
58 | public Map<RelationDefinition, VLSFunction> relDef2Predicate = new HashMap<RelationDefinition, VLSFunction>(); | ||
59 | |||
60 | public Map<VLSFunction, RelationDefinition> predicate2RelDef = new HashMap<VLSFunction, RelationDefinition>(); | ||
61 | |||
62 | public final Map<Variable, VLSVariable> relationVar2VLS = new HashMap<Variable, VLSVariable>(); | ||
63 | |||
64 | public final Map<Variable, VLSFunction> relationVar2TypeDec = new HashMap<Variable, VLSFunction>(); | ||
65 | } | ||