daphne-project/daphne

Unary not operator in DaphneDSL

Offen

#670 geöffnet am 27.02.2024

 (0 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)C++ (84 Forks)auto 404
good first issue

Repository-Metriken

Stars
 (80 Sterne)
PR-Merge-Metriken
 (PR-Metriken ausstehend)

Beschreibung

DaphneDSL does not support the typical unary not operator yet; one cannot say, e.g., if(!found) ... or while(!(converged || aborted)) .... There is a workaround: if(found == false), but we should not require that, since it's quite inconvenient.

Solving this issue requires:

  • changes to the DaphneDSL parser
  • a new elementwise unary operator for not
  • adding some script-level test cases

Contributor Guide