Struct OrderAnalysisConfig
pub struct OrderAnalysisConfig {
pub minimum_samples: usize,
pub distinct_numerator: usize,
pub distinct_denominator: usize,
pub maximum_samples: usize,
pub maximum_literals: usize,
pub maximum_modes: usize,
pub maximum_elements: usize,
pub maximum_bytes: usize,
pub maximum_work: usize,
pub maximum_positions: usize,
}Available on crate features
std and ua only.Expand description
Resource limits and heuristic thresholds for protocol-order analysis.
Fields§
§minimum_samples: usize§distinct_numerator: usize§distinct_denominator: usize§maximum_samples: usize§maximum_literals: usize§maximum_modes: usizeMaximum inferred modes, independent of the retained literal horizon.
maximum_elements: usize§maximum_bytes: usize§maximum_work: usizeNormalized element visits, shared by all paths and recursive modes.
maximum_positions: usizeRetained element-position counters, including recursive mode evidence.
Trait Implementations§
§impl Clone for OrderAnalysisConfig
impl Clone for OrderAnalysisConfig
§fn clone(&self) -> OrderAnalysisConfig
fn clone(&self) -> OrderAnalysisConfig
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreimpl Copy for OrderAnalysisConfig
§impl Debug for OrderAnalysisConfig
impl Debug for OrderAnalysisConfig
§impl Default for OrderAnalysisConfig
impl Default for OrderAnalysisConfig
§fn default() -> OrderAnalysisConfig
fn default() -> OrderAnalysisConfig
Returns the “default value” for a type. Read more
Auto Trait Implementations§
impl Freeze for OrderAnalysisConfig
impl RefUnwindSafe for OrderAnalysisConfig
impl Send for OrderAnalysisConfig
impl Sync for OrderAnalysisConfig
impl Unpin for OrderAnalysisConfig
impl UnsafeUnpin for OrderAnalysisConfig
impl UnwindSafe for OrderAnalysisConfig
Blanket Implementations§
§impl<'a, T, E> AsTaggedExplicit<'a, E> for Twhere
T: 'a,
impl<'a, T, E> AsTaggedExplicit<'a, E> for Twhere
T: 'a,
§impl<'a, T, E> AsTaggedImplicit<'a, E> for Twhere
T: 'a,
impl<'a, T, E> AsTaggedImplicit<'a, E> for Twhere
T: 'a,
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§impl<T> FutureExt for T
impl<T> FutureExt for T
§fn with_context(self, otel_cx: Context) -> WithContext<Self> ⓘ
fn with_context(self, otel_cx: Context) -> WithContext<Self> ⓘ
§fn with_current_context(self) -> WithContext<Self> ⓘ
fn with_current_context(self) -> WithContext<Self> ⓘ
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
§fn in_current_span(self) -> Instrumented<Self> ⓘ
fn in_current_span(self) -> Instrumented<Self> ⓘ
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more§impl<T> IntoRequest<T> for T
impl<T> IntoRequest<T> for T
§fn into_request(self) -> Request<T>
fn into_request(self) -> Request<T>
Wrap the input message
T in a rama_grpc::Request§impl<T> Pointable for T
impl<T> Pointable for T
§impl<T> PolicyExt for Twhere
T: ?Sized,
impl<T> PolicyExt for Twhere
T: ?Sized,
§fn and<P, B, E>(self, other: P) -> And<T, P>
fn and<P, B, E>(self, other: P) -> And<T, P>
Create a new
Policy that returns Action::Follow only if self and other return
Action::Follow. Read more