Module biodivine_lib_param_bn::biodivine_std
source · Expand description
Legacy utility structs and traits, such as State
or Set
.
Modules§
- Bitvectors are simply sequences of boolean values. However, since they are used quite often and in some very specific applications, we provide a unified optimized interface for them.