diff options
author | oszka <oszka@SEMERATH-LAPTOP> | 2019-04-16 10:28:25 +0200 |
---|---|---|
committer | oszka <oszka@SEMERATH-LAPTOP> | 2019-04-16 10:28:25 +0200 |
commit | a143c9f7a5b9da04dc0617705119841c24e3fc41 (patch) | |
tree | a433c70ca8680e4cb332a3f0aefb3ffe791a27e0 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternGenerator.xtend | |
parent | ParseUtil hijacked original vql parser and caused errors - fix by kris7t (diff) | |
download | VIATRA-Generator-a143c9f7a5b9da04dc0617705119841c24e3fc41.tar.gz VIATRA-Generator-a143c9f7a5b9da04dc0617705119841c24e3fc41.tar.zst VIATRA-Generator-a143c9f7a5b9da04dc0617705119841c24e3fc41.zip |
Fixed misformalization of (may/must)(X!=Y) for abstract objects
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternGenerator.xtend')
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternGenerator.xtend | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternGenerator.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternGenerator.xtend index a2b11632..d4c76bb4 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternGenerator.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternGenerator.xtend | |||
@@ -203,6 +203,11 @@ class PatternGenerator { | |||
203 | find mayExist(problem,interpretation,b); | 203 | find mayExist(problem,interpretation,b); |
204 | a == b; | 204 | a == b; |
205 | } | 205 | } |
206 | pattern mustEquivalent(problem:LogicProblem, interpretation:PartialInterpretation, a: DefinedElement, b: DefinedElement) { | ||
207 | find mustExist(problem,interpretation,a); | ||
208 | find mustExist(problem,interpretation,b); | ||
209 | a == b; | ||
210 | } | ||
206 | 211 | ||
207 | //////////////////////// | 212 | //////////////////////// |
208 | // 0.3 Required Patterns by TypeIndexer | 213 | // 0.3 Required Patterns by TypeIndexer |