[−][src]Constant biodivine_lib_bdd::NOT_IN_VAR_NAME
pub(crate) const NOT_IN_VAR_NAME: [char; 9];
(internal) Characters that cannot appear in the variable name (based on possible tokens in a boolean expression).
pub(crate) const NOT_IN_VAR_NAME: [char; 9];
(internal) Characters that cannot appear in the variable name (based on possible tokens in a boolean expression).