Trait tract_core::model::Fact [−][src]
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 compatible_with(&self, _other: &dyn Fact) -> bool; fn matches(&self, t: &Tensor) -> TractResult<bool> { ... } }
Expand description
Type information about a tensor: shape, and element type, in various state of determination.
Required methods
fn to_typed_fact(&self) -> TractResult<TypedFact>[src]
fn to_typed_fact(&self) -> TractResult<TypedFact>[src]Provided methods
fn matches(&self, t: &Tensor) -> TractResult<bool>[src]
fn matches(&self, t: &Tensor) -> TractResult<bool>[src]Implementations
impl dyn Fact[src]
impl dyn Fact[src]pub fn is<__T: Fact>(&self) -> bool[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]
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]
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]
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]
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]
impl Fact for TypedFact[src]