diff options
| author |  OszkarSemerath <oszkar.semerath@gmail.com> | 2018-03-24 21:44:49 -0400 |
|---|---|---|
| committer | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-03-24 21:44:49 -0400 |
| commit | f42954a45bea9f3e40090447804f33f12c080640 (patch) | |
| tree | 1c57d4ca595bf7825460c6aa080f93ea04d5689c /Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Constraint2Logic.xtend | |
| parent | Factory for string literals. (diff) | |
| download | VIATRA-Generator-f42954a45bea9f3e40090447804f33f12c080640.tar.gz VIATRA-Generator-f42954a45bea9f3e40090447804f33f12c080640.tar.zst VIATRA-Generator-f42954a45bea9f3e40090447804f33f12c080640.zip | |
upgraded attribute support for the graph solver
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Constraint2Logic.xtend')
| -rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Constraint2Logic.xtend | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Constraint2Logic.xtend b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Constraint2Logic.xtend index e83b81e6..3d2c46a5 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Constraint2Logic.xtend +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Constraint2Logic.xtend | |||
| @@ -129,6 +129,38 @@ class Constraint2Logic { | |||
| 129 | { | 129 | { |
| 130 | return value.asTerm | 130 | return value.asTerm |
| 131 | } | 131 | } |
| 132 | private def dispatch transformConstantValue( | ||
| 133 | Boolean value, | ||
| 134 | TracedOutput<LogicProblem, Ecore2Logic_Trace> ecore2LogicTrace, | ||
| 135 | Viatra2LogicTrace viatra2LogicTrace, | ||
| 136 | Viatra2LogicConfiguration config) | ||
| 137 | { | ||
| 138 | return value.asTerm | ||
| 139 | } | ||
| 140 | private def dispatch transformConstantValue( | ||
| 141 | String value, | ||
| 142 | TracedOutput<LogicProblem, Ecore2Logic_Trace> ecore2LogicTrace, | ||
| 143 | Viatra2LogicTrace viatra2LogicTrace, | ||
| 144 | Viatra2LogicConfiguration config) | ||
| 145 | { | ||
| 146 | return value.asTerm | ||
| 147 | } | ||
| 148 | private def dispatch transformConstantValue( | ||
| 149 | Double value, | ||
| 150 | TracedOutput<LogicProblem, Ecore2Logic_Trace> ecore2LogicTrace, | ||
| 151 | Viatra2LogicTrace viatra2LogicTrace, | ||
| 152 | Viatra2LogicConfiguration config) | ||
| 153 | { | ||
| 154 | return value.asTerm | ||
| 155 | } | ||
| 156 | private def dispatch transformConstantValue( | ||
| 157 | Float value, | ||
| 158 | TracedOutput<LogicProblem, Ecore2Logic_Trace> ecore2LogicTrace, | ||
| 159 | Viatra2LogicTrace viatra2LogicTrace, | ||
| 160 | Viatra2LogicConfiguration config) | ||
| 161 | { | ||
| 162 | return value.asTerm | ||
| 163 | } | ||
| 132 | private def dispatch transformConstantValue(Object other, | 164 | private def dispatch transformConstantValue(Object other, |
| 133 | TracedOutput<LogicProblem, Ecore2Logic_Trace> ecore2LogicTrace, | 165 | TracedOutput<LogicProblem, Ecore2Logic_Trace> ecore2LogicTrace, |
| 134 | Viatra2LogicTrace viatra2LogicTrace, | 166 | Viatra2LogicTrace viatra2LogicTrace, |