krr / IDP / issues / #124 - Syntax of enumsetexpression — Bitbucket

Issue #124 invalid

Bart Bogaerts created an issue 2012-03-19

[(true,3)] is ugly syntax. Especially since QuantSetExpressions use : instead of ; to separate formula and term

Comments (3)

Broes De Cat
- changed milestone to Later
- 2012-05-18T12:50:59+00:00
Bart Bogaerts reporter
- changed status to invalid
became invalid since we changed this.

The parsing still needs to be fixed, see issue ~~#199~~
- 2012-12-12T14:24:10+00:00
Broes De Cat
- removed milestone
Removing milestone: Later (automated comment)
- 2013-01-30T09:39:11+00:00
Log in to comment

Assignee: –

Type: enhancement

Priority: major

Status: invalid

Component: Parser

Version: –

Votes: 0

Watchers: 1

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