Function obddimal::bdd_manager::order::check_order

pub(crate) fn check_order(cnf: &Instance, order: &[u32]) -> Result<(), String>

Checks if a specified variable ordering is valid for the CNF instance. Returns OK(()) or Err("error message").