Trait biodivine_lib_param_bn::biodivine_std::traits::State
source · [−]Expand description
Deprecated marker trait for anything that can be a state of a graph.
Currently, we require each state to be a Copy
struct, i.e. it has to be
“small enough” so that it can be copied whenever needed. In the future, we might
lift this restriction if the need for more complex states arises. Meanwhile, one
can use dynamically indexed states.