Support `Conditional` ternary operator

sybila / biodivine-lib-bdd

A small library for BDD manipulation in Rust. Part of the BioDivine toolset.

MIT License

20 stars 4 forks source link

Support `Conditional` ternary operator #52

Closed zao111222333 closed 7 months ago

zao111222333 commented 7 months ago

Thanks for this crate! I want to know do you plan to support BooleanExpression::Condition(cond,then_exp,else_exp). The conditional operator cond ? then_exp : else_exp is equal to (cond & then_exp) | (!cond & else_exp). If it is in the plan, I can help for the parser implementation.

daemontus commented 7 months ago

Hi! We don't have a specific roadmap for this feature yet. But if you are willing to implement it, I'll be happy to merge it! :)

zao111222333 commented 7 months ago

Great! I will try to implement this feature!

daemontus commented 7 months ago

Awesome, thank you!