You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently, BddValuation is just a fix-length vector of boolean values. This is a very common data structure, also called bitvector. We need to consider adding bitvector support directly to biodivine standard library and then just using bitvectors.
At the moment, biodivine-stdlib will most likely not be used in this library and overall, a vector of Booleans is fast/efficient enough as a backing data structure. So closing this for now. If there is sufficient reason to assume a large amount of valuations is used so that a more compact memory representation is necessary, we can talk.
Currently,
BddValuation
is just a fix-length vector of boolean values. This is a very common data structure, also called bitvector. We need to consider adding bitvector support directly to biodivine standard library and then just using bitvectors.Related to #1.
The text was updated successfully, but these errors were encountered: