search

sybila / biodivine-lib-param-bn

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

Add `SymbolicContext::canonical_bn_context` #54

Closed daemontus closed 5 months ago

daemontus commented 7 months ago

This should produce a new context object which only uses state/parameter variables, but has no extra state variables. This way, we can obtain a context which would be valid for the original BooleanNetwork that was used to create the context.

daemontus commented 5 months ago

This is now implemented with SymbolicContext.as_canonical_context.