diff options
| author |  Kristóf Marussy <kris7topher@gmail.com> | 2019-04-16 10:32:11 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-04-16 10:32:11 +0200 |
| commit | 416e0352d2b4a97c978b166c076d540fe9af40bc (patch) | |
| tree | ece50271862fd3260e9c29c098cc8858729fc78a /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternGenerator.xtend | |
| parent | Satellite constellation case study WIP (diff) | |
| parent | Fixed misformalization of (may/must)(X!=Y) for abstract objects (diff) | |
| download | VIATRA-Generator-416e0352d2b4a97c978b166c076d540fe9af40bc.tar.gz VIATRA-Generator-416e0352d2b4a97c978b166c076d540fe9af40bc.tar.zst VIATRA-Generator-416e0352d2b4a97c978b166c076d540fe9af40bc.zip | |
Merge remote-tracking branch 'origin/master' into kris
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 c9e64a9d..24b3e870 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 |