/// Create an empty thread set.
///
/// The set may contain up to `max_threads` threads.
Create an empty thread set.
The set may contain up to `max_threads` threads.
Create an empty thread set . The set may contain up to ` max_threads ` threads .
pub fn new(execution_id: execution::Id, max_threads: usize) -> Set {
        Set {
            execution_id,
            threads: Vec::with_capacity(max_threads),
            active: None,
            seq_cst_causality: VersionVec::new(max_threads),
        }
    }
pub fn new ( execution_id : execution :: Id , max_threads : usize ) -> Set { Set { execution_id , threads : Vec :: with_capacity ( max_threads ) , active : None , seq_cst_causality : VersionVec :: new ( max_threads ) , } }
Create an empty thread set.
Create an empty thread set .
execution_id
execution::Id
max_threads
usize