krr / IDP / issues / #21 - Als implicatie voldoende is, een equivalentie schrijven, is soms zeer veel trager — Bitbucket

Issue #21 wontfix

Bart Bogaerts created an issue 2011-12-08

Opmerking van Sicco Verwer, die optimalisatie problemen met grafen oplost. Als hij equivalenties in zijn modellering vervangt door implicaties (waar logisch correct natuurlijk), gaat het zeer veel sneller. Dit is redelijk logisch, maar kunnen we hier structureel iets mee doen?

Comments (4)

Broes De Cat
Sicco leek resultaten in deze richting te hebben, maar nieuwe resultaten leken het tegen te spreken?
- 2011-12-16T11:04:57+00:00
Broes De Cat
- changed milestone to Later
- 2012-05-18T10:19:46+00:00
Broes De Cat
- changed status to wontfix
- 2012-07-30T09:09:43+00:00
Broes De Cat
- removed milestone
Removing milestone: Later (automated comment)
- 2013-01-30T09:39:14+00:00
Log in to comment

Assignee: –

Type: proposal

Priority: major

Status: wontfix

Component: –

Version: –

Votes: 0

Watchers: 1

Jira: the preferred issue tracker for Bitbucket. Join the team!