diff options
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, |