From a6ac842242bb5be7334d358584fd0bfec6a89247 Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Wed, 11 Sep 2019 15:34:03 -0400 Subject: VAMPIRE: fix model generation --- .../vampire/reasoner/builder/VampireModelInterpretation.xtend | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireModelInterpretation.xtend') 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 { return declaration.lookup(this.type2DefinedElement) } - def private dispatch getElementsDispatch(TypeDefinition declaration) { return declaration.elements } + def private dispatch getElementsDispatch(TypeDefinition declaration) { + println("~~" + declaration) + println(declaration.elements) + println() + return declaration.elements + } override getInterpretation(FunctionDeclaration function, Object[] parameterSubstitution) { throw new UnsupportedOperationException("TODO: auto-generated method stub") @@ -260,12 +265,12 @@ class VampireModelInterpretation implements LogicModelInterpretation { for (real : realRelations) { if (real.contains(node1) && real.contains(node2)) { println(" true") - TimeUnit.SECONDS.sleep(1) + TimeUnit.MILLISECONDS.sleep(10) return true } } println(" false") - TimeUnit.SECONDS.sleep(1) + TimeUnit.MILLISECONDS.sleep(10) return false } -- cgit v1.2.3-54-g00ecf