diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireModelInterpretation.xtend')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireModelInterpretation.xtend | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireModelInterpretation.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireModelInterpretation.xtend index ef77b6ca..9eb47f41 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireModelInterpretation.xtend +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireModelInterpretation.xtend | |||
@@ -246,7 +246,12 @@ class VampireModelInterpretation implements LogicModelInterpretation { | |||
246 | return declaration.lookup(this.type2DefinedElement) | 246 | return declaration.lookup(this.type2DefinedElement) |
247 | } | 247 | } |
248 | 248 | ||
249 | def private dispatch getElementsDispatch(TypeDefinition declaration) { return declaration.elements } | 249 | def private dispatch getElementsDispatch(TypeDefinition declaration) { |
250 | println("~~" + declaration) | ||
251 | println(declaration.elements) | ||
252 | println() | ||
253 | return declaration.elements | ||
254 | } | ||
250 | 255 | ||
251 | override getInterpretation(FunctionDeclaration function, Object[] parameterSubstitution) { | 256 | override getInterpretation(FunctionDeclaration function, Object[] parameterSubstitution) { |
252 | throw new UnsupportedOperationException("TODO: auto-generated method stub") | 257 | throw new UnsupportedOperationException("TODO: auto-generated method stub") |
@@ -260,12 +265,12 @@ class VampireModelInterpretation implements LogicModelInterpretation { | |||
260 | for (real : realRelations) { | 265 | for (real : realRelations) { |
261 | if (real.contains(node1) && real.contains(node2)) { | 266 | if (real.contains(node1) && real.contains(node2)) { |
262 | println(" true") | 267 | println(" true") |
263 | TimeUnit.SECONDS.sleep(1) | 268 | TimeUnit.MILLISECONDS.sleep(10) |
264 | return true | 269 | return true |
265 | } | 270 | } |
266 | } | 271 | } |
267 | println(" false") | 272 | println(" false") |
268 | TimeUnit.SECONDS.sleep(1) | 273 | TimeUnit.MILLISECONDS.sleep(10) |
269 | return false | 274 | return false |
270 | } | 275 | } |
271 | 276 | ||