Minimum aggregates are no longer parsed
Issue #580
resolved
see file
Comments (7)
-
-
- changed status to resolved
-
- changed status to open
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.
-
Ik denk dat het nieuwe idee uit de warren paper nog niet geïmplementeerd is.
-
Wat is "het nieuwe idee"? Standaard minimum functie?
-
In alle gevallen de standaard functie ondersteunen zodat we zonder unie kunnen (en die dan uitschakelen).
-
- changed status to resolved
Modified manual for new syntax fixes
#580→ <<cset af90937f2532>>
- Log in to comment
! 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)}).