Re-implement `AsyncGraph` with updated interfaces and features.

sybila / biodivine-lib-param-bn

Rust library for working with parametrised Boolean networks.

MIT License

2 stars 2 forks source link

Re-implement `AsyncGraph` with updated interfaces and features. #18

Open daemontus opened 3 years ago

daemontus commented 3 years ago

Old and new symbolic encoding has a lot in common, but currently uses very different architecture. We should make this more unified.

Specifically, we should make both implementations use FunctionTable to map functions to Bdd variables. Also, having SymbolicContext and SemiSymbolicContext (instead of encoder) together would be a good idea.

daemontus commented 2 years ago

Original AsyncGraph has been marked as deprecated in 0.2.0 so that everyone using it knows not to rely on it too much. It should be re-implemented with similar API to SymbolicAsyncGraph in the future. The current implementation will live on until 1.0.0, where it should be superseded by a new one.