Struct WfsConfig 

#[non_exhaustive]
pub struct WfsConfig {
    pub max_iterations: usize,
}

Configuration for Well-Founded Semantics evaluation.

Controls the convergence budget for the alternating fixed-point loop.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

max_iterations: usize

Maximum iterations before giving up.

Trait Implementations

impl Clone for WfsConfig

fn clone(&self) -> WfsConfig

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for WfsConfig

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for WfsConfig

fn default() -> Self

Returns the “default value” for a type.