[−][src]Struct tract_hir::infer::rules::TensorProxy
A proxy for a tensor.
This is used for rules involving the datum_type, rank, shape or value of a tensor. Here are a few examples of constraints that can be expressed:
solver.equals(input.datum_type, DTYPE_I32)
solver.equals(input.rank, 2)
solver.equals(input.shape[1], output.value[0][1])
Fields
datum_type: TypeProxy
rank: IntProxy
shape: ShapeProxy
value: ValueProxy
Implementations
impl TensorProxy
[src]
pub fn new(path: Path) -> TensorProxy
[src]
Creates a new TensorProxy instance.
Trait Implementations
impl Debug for TensorProxy
[src]
impl Proxy for TensorProxy
[src]
impl<'a> Proxy for &'a TensorProxy
[src]
Auto Trait Implementations
impl !RefUnwindSafe for TensorProxy
impl Send for TensorProxy
impl !Sync for TensorProxy
impl Unpin for TensorProxy
impl UnwindSafe for TensorProxy
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> Downcast for T where
T: Any,
T: Any,
fn into_any(self: Box<T>) -> Box<dyn Any + 'static>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any + 'static>
fn as_any(&self) -> &(dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
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>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,