diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapperTrace.xtend')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapperTrace.xtend | 58 |
1 files changed, 58 insertions, 0 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapperTrace.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapperTrace.xtend new file mode 100644 index 00000000..22bd4ab5 --- /dev/null +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapperTrace.xtend | |||
@@ -0,0 +1,58 @@ | |||
1 | package ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder | ||
2 | |||
3 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConstant | ||
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.DefinedElement | ||
12 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDeclaration | ||
13 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDefinition | ||
14 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type | ||
15 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Variable | ||
16 | import java.util.HashMap | ||
17 | import java.util.List | ||
18 | import java.util.Map | ||
19 | |||
20 | interface Logic2VampireLanguageMapper_TypeMapperTrace {} | ||
21 | |||
22 | class Logic2VampireLanguageMapperTrace { | ||
23 | // public var ViatraQueryEngine incQueryEngine; | ||
24 | |||
25 | //list of needed VLS components | ||
26 | public var VampireModel specification | ||
27 | public var VLSFofFormula logicLanguageBody | ||
28 | public var VLSTerm formula | ||
29 | |||
30 | //Necessary containers | ||
31 | public var Logic2VampireLanguageMapper_TypeMapperTrace typeMapperTrace | ||
32 | |||
33 | public val Map<Type, VLSFunction> type2Predicate = new HashMap; | ||
34 | public val Map<DefinedElement, VLSFunction> element2Predicate = new HashMap | ||
35 | public val Map<Type, VLSTerm> type2PossibleNot = new HashMap | ||
36 | public val Map<Type, VLSTerm> type2And = new HashMap | ||
37 | //Uniqueness | ||
38 | public val List<VLSConstant> uniqueInstances = newArrayList | ||
39 | |||
40 | |||
41 | public var Map<ConstantDeclaration, ConstantDefinition> constantDefinitions | ||
42 | public var Map<RelationDeclaration, RelationDefinition> relationDefinitions | ||
43 | public var Map<RelationDeclaration, VLSFunction> rel2Predicate = new HashMap | ||
44 | |||
45 | |||
46 | //NOT NEEDED //public var VLSFunction constantDec | ||
47 | |||
48 | |||
49 | |||
50 | |||
51 | //NOT NEEDED //public val Map<ConstantDeclaration, VLSFunctionDeclaration> constantDeclaration2LanguageField = new HashMap | ||
52 | //public val Map<ConstantDefinition, ALSFunctionDefinition> constantDefinition2Function = new HashMap | ||
53 | |||
54 | |||
55 | public val Map<Variable, VLSVariable> relationVar2VLS = new HashMap | ||
56 | public val Map<Variable, VLSFunction> relationVar2TypeDec = new HashMap | ||
57 | |||
58 | } \ No newline at end of file | ||