Type Alias WpMethodEQ 

pub type WpMethodEQ = WMethodEQ;

Alias for the Wp-method name used by some literature.

Aliased Type

pub struct WpMethodEQ {
    pub max_states: usize,
    /* private fields */
}

Fields

max_states: usize

Upper bound on the number of states in the target system.