daphne-project/daphne

Unary not operator in DaphneDSL

開放

#670 建立於 2024年2月27日

 (0 則留言) (0 個反應) (0 位負責人)C++ (84 個分叉)auto 404
good first issue

倉庫指標

星標
 (80 顆星)
PR 合併指標
 (PR 指標待抓取)

描述

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

貢獻者指南