[−][src]Trait tract_core::model::Fact

pub trait Fact: Debug + Downcast + DynClone + Send + Sync + 'static {
    fn to_typed_fact(&self) -> TractResult<TypedFact>;

    fn same_as(&self, _other: &dyn Fact) -> bool;

    fn matches(&self, t: &Tensor) -> TractResult<bool> { ... }
}

Type information about a tensor: shape, and element type, in various state of determination.

Required methods

fn to_typed_fact(&self) -> TractResult<TypedFact>

fn same_as(&self, _other: &dyn Fact) -> bool

Loading content...

Provided methods

fn matches(&self, t: &Tensor) -> TractResult<bool>

Loading content...

Implementations

impl dyn Fact[src]

pub fn is<__T: Fact>(&self) -> bool[src]

Returns true if the trait object wraps an object of type __T.

pub fn downcast<__T: Fact>(self: Box<Self>) -> Result<Box<__T>, Box<Self>>[src]

Returns a boxed object from a boxed trait object if the underlying object is of type __T. Returns the original boxed trait if it isn't.

pub fn downcast_rc<__T: Fact>(self: Rc<Self>) -> Result<Rc<__T>, Rc<Self>>[src]

Returns an Rc-ed object from an Rc-ed trait object if the underlying object is of type __T. Returns the original Rc-ed trait if it isn't.

pub fn downcast_ref<__T: Fact>(&self) -> Option<&__T>[src]

Returns a reference to the object within the trait object if it is of type __T, or None if it isn't.

pub fn downcast_mut<__T: Fact>(&mut self) -> Option<&mut __T>[src]

Returns a mutable reference to the object within the trait object if it is of type __T, or None if it isn't.

Implementors

impl Fact for TypedFact[src]

Loading content...