diff options
Diffstat (limited to 'Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/src/hu/bme/mit/inf/dslreasoner/smt/reasoner/Logic2SmtMapperTrace.xtend')
-rw-r--r-- | Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/src/hu/bme/mit/inf/dslreasoner/smt/reasoner/Logic2SmtMapperTrace.xtend | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/src/hu/bme/mit/inf/dslreasoner/smt/reasoner/Logic2SmtMapperTrace.xtend b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/src/hu/bme/mit/inf/dslreasoner/smt/reasoner/Logic2SmtMapperTrace.xtend new file mode 100644 index 00000000..69111a11 --- /dev/null +++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/src/hu/bme/mit/inf/dslreasoner/smt/reasoner/Logic2SmtMapperTrace.xtend | |||
@@ -0,0 +1,23 @@ | |||
1 | package hu.bme.mit.inf.dslreasoner.smt.reasoner | ||
2 | |||
3 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Constant | ||
4 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function | ||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem | ||
7 | import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSymbolicDeclaration | ||
8 | import java.util.HashMap | ||
9 | import java.util.List | ||
10 | import java.util.Map | ||
11 | |||
12 | class Logic2SmtMapperTrace { | ||
13 | public var LogicProblem problem | ||
14 | public var Logic2SmtMapper forwardMapper | ||
15 | public var Logic2Smt_TypeMapperTrace typeMapperTrace | ||
16 | |||
17 | public val Map<Relation,List<Descriptor<Relation>>> relationUnfolding = new HashMap | ||
18 | public val Map<Descriptor<Relation>,SMTSymbolicDeclaration> relationMap = new HashMap | ||
19 | public val Map<Function,List<Descriptor<Function>>> functionUnfolding = new HashMap | ||
20 | public val Map<Descriptor<Function>,SMTSymbolicDeclaration> functionMap = new HashMap | ||
21 | public val Map<Function,List<Descriptor<Constant>>> constantUnfolding = new HashMap | ||
22 | public val Map<Descriptor<Constant>,SMTSymbolicDeclaration> constantMap = new HashMap | ||
23 | } \ No newline at end of file | ||