Enum ConvResult 

pub enum ConvResult {
    Equal,
    NotEqual,
    Timeout {
        steps: usize,
    },
    Error(String),
}

Conversion result with diagnostic information.

Variants

Equal

The expressions are definitionally equal.

NotEqual

The expressions are not definitionally equal.

Timeout

Timeout: conversion check exceeded the step limit. Timeout: conversion check exceeded the step limit.

Fields

steps: usize

Number of steps performed before timeout.

Error(String)

Error during conversion.

Implementations

impl ConvResult

pub fn is_equal(&self) -> bool

Check if the result is Equal.

pub fn is_definitive(&self) -> bool

Check if the result is definitive (not timed out or errored).

Trait Implementations

impl Clone for ConvResult

fn clone(&self) -> ConvResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ConvResult

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

Formats the value using the given formatter.