Trait tract_pulse::internal::Fact[]

pub trait Fact: 'static + Debug + Downcast + DynClone + Send + Sync {
    fn to_typed_fact(&self) -> Result<TypedFact, Error>;
fn same_as(&self, _other: &(dyn Fact + 'static)) -> bool;
fn compatible_with(&self, _other: &(dyn Fact + 'static)) -> bool; fn matches(&self, t: &Tensor) -> Result<bool, Error> { ... } }
Expand description

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

Required methods

fn to_typed_fact(&self) -> Result<TypedFact, Error>

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

fn compatible_with(&self, _other: &(dyn Fact + 'static)) -> bool

Provided methods

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

Implementations

impl dyn Fact + 'static

pub fn is<__T>(&self) -> bool where
    __T: Fact

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

pub fn downcast<__T>(
    self: Box<dyn Fact + 'static, Global>
) -> Result<Box<__T, Global>, Box<dyn Fact + 'static, Global>> where
    __T: Fact

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>(
    self: Rc<dyn Fact + 'static>
) -> Result<Rc<__T>, Rc<dyn Fact + 'static>> where
    __T: Fact

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>(&self) -> Option<&__T> where
    __T: Fact

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>(&mut self) -> Option<&mut __T> where
    __T: Fact

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 PulsedFact[src]

fn to_typed_fact(&self) -> TractResult<TypedFact>[src]

fn same_as(&self, other: &dyn Fact) -> bool[src]

fn compatible_with(&self, other: &dyn Fact) -> bool[src]

impl Fact for TypedFact

pub fn to_typed_fact(&self) -> Result<TypedFact, Error>

pub fn matches(&self, t: &Tensor) -> Result<bool, Error>

pub fn same_as(&self, other: &(dyn Fact + 'static)) -> bool

pub fn compatible_with(&self, other: &(dyn Fact + 'static)) -> bool