Constant biodivine_lib_bdd::NOT_IN_VAR_NAME

const NOT_IN_VAR_NAME: [char; 9]

(internal) Characters that cannot appear in the variable name (based on possible tokens in a boolean expression).