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 | 12 |
1 files changed, 12 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 index 855815f8..2b491209 100644 --- 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 | |||
@@ -8,8 +8,10 @@ import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable; | |||
8 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel; | 8 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel; |
9 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDeclaration; | 9 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDeclaration; |
10 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDefinition; | 10 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDefinition; |
11 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement; | ||
11 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDeclaration; | 12 | 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.RelationDefinition; |
14 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type; | ||
13 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Variable; | 15 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Variable; |
14 | import java.util.HashMap; | 16 | import java.util.HashMap; |
15 | import java.util.Map; | 17 | import java.util.Map; |
@@ -24,10 +26,20 @@ public class Logic2VampireLanguageMapperTrace { | |||
24 | 26 | ||
25 | public Logic2VampireLanguageMapper_TypeMapperTrace typeMapperTrace; | 27 | public Logic2VampireLanguageMapper_TypeMapperTrace typeMapperTrace; |
26 | 28 | ||
29 | public final Map<Type, VLSFunction> type2Predicate = new HashMap<Type, VLSFunction>(); | ||
30 | |||
31 | public final Map<DefinedElement, VLSFunction> element2Predicate = new HashMap<DefinedElement, VLSFunction>(); | ||
32 | |||
33 | public final Map<Type, VLSTerm> type2PossibleNot = new HashMap<Type, VLSTerm>(); | ||
34 | |||
35 | public final Map<Type, VLSTerm> type2And = new HashMap<Type, VLSTerm>(); | ||
36 | |||
27 | public Map<ConstantDeclaration, ConstantDefinition> constantDefinitions; | 37 | public Map<ConstantDeclaration, ConstantDefinition> constantDefinitions; |
28 | 38 | ||
29 | public Map<RelationDeclaration, RelationDefinition> relationDefinitions; | 39 | public Map<RelationDeclaration, RelationDefinition> relationDefinitions; |
30 | 40 | ||
41 | public Map<RelationDeclaration, VLSFunction> rel2Predicate = new HashMap<RelationDeclaration, VLSFunction>(); | ||
42 | |||
31 | public final Map<Variable, VLSVariable> relationVar2VLS = new HashMap<Variable, VLSVariable>(); | 43 | public final Map<Variable, VLSVariable> relationVar2VLS = new HashMap<Variable, VLSVariable>(); |
32 | 44 | ||
33 | public final Map<Variable, VLSFunction> relationVar2TypeDec = new HashMap<Variable, VLSFunction>(); | 45 | public final Map<Variable, VLSFunction> relationVar2TypeDec = new HashMap<Variable, VLSFunction>(); |