tvm_tirx::sym::analyzer

Struct RewriteSimplifierStatsObj

#[repr(C)]pub struct RewriteSimplifierStatsObj {
    pub nodes_visited: i64,
    pub constraints_entered: i64,
    pub rewrites_attempted: i64,
    pub rewrites_performed: i64,
    pub max_recursive_depth: i64,
    pub num_recursive_rewrites: i64,
    /* private fields */
}

Expand description

Complete: reflected fields fill [24, 72) exactly.

Fields§

§nodes_visited: i64§constraints_entered: i64§rewrites_attempted: i64§rewrites_performed: i64§max_recursive_depth: i64§num_recursive_rewrites: i64

Trait Implementations§

impl<'a> From<&'a RewriteSimplifierStatsObj> for AnyView<'a>

fn from(value: &'a RewriteSimplifierStatsObj) -> Self

Converts to this type from the input type.

impl ObjectCore for RewriteSimplifierStatsObj

const TYPE_KEY: &'static str = "sym.RewriteSimplifierStats"

the type key of the object

const TYPE_DEPTH: i32 = 1i32

Depth of this type in the object inheritance tree. Read more

fn type_index() -> i32

unsafe fn object_header_mut(this: &mut Self) -> &mut TVMFFIObject

Return the object header This function is implemented as a static function so Read more

Auto Trait Implementations§

impl !Freeze for RewriteSimplifierStatsObj

impl RefUnwindSafe for RewriteSimplifierStatsObj

impl Send for RewriteSimplifierStatsObj

impl Sync for RewriteSimplifierStatsObj

impl Unpin for RewriteSimplifierStatsObj

impl UnwindSafe for RewriteSimplifierStatsObj

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.