Minimum aggregates are no longer parsed

[Former user]

see file

[Pieter Van Hertum]

! receive[Jug] pour[Jug] t[Time] x[Vol]: C_Contents(receive,t) = x <- Transfer(pour,receive,t) & x = min[(true,Max(receive));(true,Contents(receive,t)+Contents(pour,t))].

was ook foute syntax, dit werkt wel:

! receive[Jug] pour[Jug] t[Time] x[Vol]: C_Contents(receive,t) = x <- Transfer(pour,receive,t) & x = min({:true:Max(receive)} U {:true:Contents(receive,t)+Contents(pour,t)}).

[Bart Bogaerts]

Maar dit is nog lelijker dan de oude syntax. Trouwens, de oude syntax staat nog in de manual. Ofwel manual updaten ofwel gewoon oude dingen blijven parsen.

Trouwens: ik geloof dat het plan was om ook syntactische suiker van de vorm

min(t1,t2,...tn) toe te laten.

[Broes De Cat]

Ik denk dat het nieuwe idee uit de warren paper nog niet geïmplementeerd is.

[Bart Bogaerts]

Wat is "het nieuwe idee"? Standaard minimum functie?

[Broes De Cat]

In alle gevallen de standaard functie ondersteunen zodat we zonder unie kunnen (en die dan uitschakelen).

[Pieter Van Hertum]

Modified manual for new syntax fixes #580

→ <<cset af90937f2532>>