search

potassco / clinguin

🐧 Clingo Interactive UI
MIT License
25 stars 5 forks source link

Mutilple policies #97

Closed susuhahnml closed 11 months ago

susuhahnml commented 2 years ago

Can we add multiple policies to be called?

Cedricmartens commented 1 year ago

get() and update_uifb() are currently being called in each policy and would be called multiple times in the case of multiple policies. This would also remove messages added in previous policies.

A working implementation exists (#128) but it does not deal with the above issues