Struct ThreadLocalParams 

pub struct ThreadLocalParams;

Hold ExecutionProfile on the current thread.

The default ExecutionProfile is the following:

use regexsolver::execution_profile::ExecutionProfile;

ExecutionProfile {
    max_number_of_states: 8192,
    start_execution_time: None,
    execution_timeout: 1500,
    max_number_of_terms: 50,
};

Implementations

impl ThreadLocalParams

pub fn init_profile(profile: &ExecutionProfile)

Store on the current thread ExecutionProfile.

pub fn get_max_number_of_states() -> usize

pub fn get_start_execution_time() -> Option<SystemTime>

pub fn get_execution_timeout() -> u128

pub fn get_max_number_of_terms() -> usize

pub fn get_execution_profile() -> ExecutionProfile

Return the ExecutionProfile stored on the current thread.