Function obddimal::bdd_manager::order::order_to_layernames

source · [−]
pub(crate) fn order_to_layernames(order: &[u32]) -> Vec<VarID>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A> where
    A: Allocator, 
Expand description

Returns the variable order as list of VarID top to bottom