search

sybila / biodivine-lib-param-bn

Rust library for working with parametrised Boolean networks.
MIT License
2 stars 2 forks source link

Add a symbolic equality check #29

Open daemontus opened 2 years ago

daemontus commented 2 years ago

We could really use equality checks on symbolic sets aside from the current is_subset method. Also a macro like this could be nice:

#[macro_export]
macro_rules! assert_symbolic_eq {
    ($x:expr, $y:expr) => {
        assert!($x.iff(&$y).is_true())
    }
}