Struct tract_nnef::internal::TypedFact[−][src]

pub struct TypedFact {
    pub datum_type: DatumType,
    pub shape: ShapeFact,
    pub konst: Option<Arc<Tensor>>,
    pub uniform: Option<Arc<Tensor>>,
}

Fully determined tensor information for TypedModel.

Fields

datum_type: DatumType

tensor element type

shape: ShapeFact

tensor shape

konst: Option<Arc<Tensor>>

optional constant value

uniform: Option<Arc<Tensor>>

optional uniform value

Implementations

`impl TypedFact`[src]

`pub fn scalar<T>() -> TypedFact where T: Datum,` [src]

`pub fn shape<T, S>(shape: S) -> TypedFact where T: Datum, S: Into<ShapeFact>,` [src]

`pub fn dt_scalar(datum_type: DatumType) -> TypedFact`[src]

`pub fn dt_shape<S>(datum_type: DatumType, shape: S) -> TypedFact where S: Into<ShapeFact>,` [src]

`pub fn rank(&self) -> usize`[src]

`pub fn format_dt_shape(&self) -> String`[src]

`pub fn consistent(&self) -> Result<(), Error>`[src]

`pub fn without_value(&self) -> TypedFact`[src]

Trait Implementations

`impl Clone for TypedFact`[src]

`pub fn clone(&self) -> TypedFact`[src]

`pub fn clone_from(&mut self, source: &Self)`1.0.0 [src]

`impl Debug for TypedFact`[src]

`pub fn fmt(&self, fmt: &mut Formatter<'_>) -> Result<(), Error>`[src]

`impl DynHash for TypedFact`[src]

`pub fn dyn_hash(&self, state: &mut dyn Hasher)`[src]

`impl Fact for TypedFact`[src]

`pub fn to_typed_fact(&self) -> Result<TypedFact, Error>`[src]

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

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

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

`impl<'a> From<&'a TypedFact> for TypedFact`[src]

`pub fn from(fact: &TypedFact) -> TypedFact`[src]

`impl<'t> From<&'t Tensor> for TypedFact`[src]

`pub fn from(t: &'t Tensor) -> TypedFact`[src]

`impl From<Arc<Tensor>> for TypedFact`[src]

`pub fn from(t: Arc<Tensor>) -> TypedFact`[src]

`impl From<Tensor> for TypedFact`[src]

`pub fn from(t: Tensor) -> TypedFact`[src]

`impl Hash for TypedFact`[src]

`pub fn hash<H>(&self, state: &mut H) where __H: Hasher,` [src]

`pub fn hash_slice<H>(data: &[Self], state: &mut H) where H: Hasher,` 1.3.0 [src]

`impl PartialEq<TypedFact> for TypedFact`[src]

`pub fn eq(&self, other: &TypedFact) -> bool`[src]

`pub fn ne(&self, other: &TypedFact) -> bool`[src]

`impl SpecialOps<TypedFact, Box<dyn TypedOp + 'static, Global>> for Graph<TypedFact, Box<dyn TypedOp + 'static, Global>>`[src]

`pub fn is_source(op: &Box<dyn TypedOp + 'static, Global>) -> bool`[src]

pub fn create_dummy(&self) -> Box<dyn TypedOp + 'static, Global>ⓘNotable traits for Box<R, Global> impl<R> Read for Box<R, Global> where R: Read + ?Sized, impl<W> Write for Box<W, Global> where W: Write + ?Sized, impl<F, A> Future for Box<F, A> where F: Future + Unpin + ?Sized, A: Allocator + 'static, type Output = <F as Future>::Output;impl<I, A> Iterator for Box<I, A> where A: Allocator, I: Iterator + ?Sized, type Item = ::Item;[src]

pub fn create_source( &self, fact: TypedFact ) -> Box<dyn TypedOp + 'static, Global>ⓘNotable traits for Box<R, Global> impl<R> Read for Box<R, Global> where R: Read + ?Sized, impl<W> Write for Box<W, Global> where W: Write + ?Sized, impl<F, A> Future for Box<F, A> where F: Future + Unpin + ?Sized, A: Allocator + 'static, type Output = <F as Future>::Output;impl<I, A> Iterator for Box<I, A> where A: Allocator, I: Iterator + ?Sized, type Item = ::Item;[src]

`pub fn wire_node( &mut self, name: impl Into<String>, op: impl Into<Box<dyn TypedOp + 'static, Global>>, inputs: &[OutletId] ) -> Result<SmallVec<[OutletId; 4]>, Error>`[src]

`impl StructuralPartialEq for TypedFact`[src]

`impl Translate<TypedFact, Box<dyn TypedOp + 'static, Global>, TypedFact, Box<dyn TypedOp + 'static, Global>> for SymbolValues`[src]

`pub fn translate_node( &self, source: &Graph<TypedFact, Box<dyn TypedOp + 'static, Global>>, node: &Node<TypedFact, Box<dyn TypedOp + 'static, Global>>, target: &mut Graph<TypedFact, Box<dyn TypedOp + 'static, Global>>, mapping: &HashMap<OutletId, OutletId, RandomState> ) -> Result<SmallVec<[OutletId; 4]>, Error>`[src]

`pub fn translate_model( &self, source: &Graph<TI1, O1> ) -> Result<Graph<TI2, O2>, Error>`[src]

`pub fn translate_model_with_mappings( &self, source: &Graph<TI1, O1> ) -> Result<(Graph<TI2, O2>, HashMap<OutletId, OutletId, RandomState>), Error>`[src]

Auto Trait Implementations

`impl RefUnwindSafe for TypedFact`

`impl Send for TypedFact`

`impl Sync for TypedFact`

`impl Unpin for TypedFact`

`impl UnwindSafe for TypedFact`

Blanket Implementations

`impl<T> Any for T where T: 'static + ?Sized,` [src]

`pub fn type_id(&self) -> TypeId`[src]

`impl<T> Borrow<T> for T where T: ?Sized,` [src]

`pub fn borrow(&self) -> &TⓘNotable traits for &'_ mut R impl<'_, R> Read for &'_ mut R where R: Read + ?Sized, impl<'_, W> Write for &'_ mut W where W: Write + ?Sized, impl<'_, I> Iterator for &'_ mut I where I: Iterator + ?Sized, type Item = ::Item;impl<'_, F> Future for &'_ mut F where F: Future + Unpin + ?Sized, type Output = <F as Future>::Output;`[src]

`impl<T> BorrowMut<T> for T where T: ?Sized,` [src]

`pub fn borrow_mut(&mut self) -> &mut TⓘNotable traits for &'_ mut R impl<'_, R> Read for &'_ mut R where R: Read + ?Sized, impl<'_, W> Write for &'_ mut W where W: Write + ?Sized, impl<'_, I> Iterator for &'_ mut I where I: Iterator + ?Sized, type Item = ::Item;impl<'_, F> Future for &'_ mut F where F: Future + Unpin + ?Sized, type Output = <F as Future>::Output;`[src]

`impl<T> Conv for T`

`pub fn conv<T>(self) -> T where Self: Into<T>,`

`impl<T> Conv for T`

`pub fn conv<T>(self) -> T where Self: Into<T>,`

`impl<T> Downcast for T where T: Any,`

pub fn into_any(self: Box<T, Global>) -> Box<dyn Any + 'static, Global>ⓘNotable traits for Box<R, Global> impl<R> Read for Box<R, Global> where R: Read + ?Sized, impl<W> Write for Box<W, Global> where W: Write + ?Sized, impl<F, A> Future for Box<F, A> where F: Future + Unpin + ?Sized, A: Allocator + 'static, type Output = <F as Future>::Output;impl<I, A> Iterator for Box<I, A> where A: Allocator, I: Iterator + ?Sized, type Item = ::Item;

`pub fn into_any_rc(self: Rc<T>) -> Rc<dyn Any + 'static>`

`pub fn as_any(&self) -> &(dyn Any + 'static)`

`pub fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)`

`impl<T> DowncastSync for T where T: Any + Send + Sync,`

`pub fn into_any_arc(self: Arc<T>) -> Arc<dyn Any + 'static + Sync + Send>`

`impl<T> DynClone for T where T: Clone,` [src]

`pub fn __clone_box(&self, Private) -> *mut ()`[src]

`impl<T> FmtForward for T`

`pub fn fmt_binary(self) -> FmtBinary<Self> where Self: Binary,`

`pub fn fmt_display(self) -> FmtDisplay<Self> where Self: Display,`

`pub fn fmt_lower_exp(self) -> FmtLowerExp<Self> where Self: LowerExp,`

`pub fn fmt_lower_hex(self) -> FmtLowerHex<Self> where Self: LowerHex,`

`pub fn fmt_octal(self) -> FmtOctal<Self> where Self: Octal,`

`pub fn fmt_pointer(self) -> FmtPointer<Self> where Self: Pointer,`

`pub fn fmt_upper_exp(self) -> FmtUpperExp<Self> where Self: UpperExp,`

`pub fn fmt_upper_hex(self) -> FmtUpperHex<Self> where Self: UpperHex,`

`impl<T> From<T> for T`[src]

`pub fn from(t: T) -> T`[src]

`impl<T, U> Into for T where U: From<T>,` [src]

`pub fn into(self) -> U`[src]

`impl<T> Pipe for T where T: ?Sized,`

`pub fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> R`

`pub fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> R where R: 'a,`

`pub fn pipe_ref_mut<'a, R>( &'a mut self, func: impl FnOnce(&'a mut Self) -> R ) -> R where R: 'a,`

`pub fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R where Self: Borrow, R: 'a, B: 'a + ?Sized,`

`pub fn pipe_borrow_mut<'a, B, R>( &'a mut self, func: impl FnOnce(&'a mut B) -> R ) -> R where Self: BorrowMut, R: 'a, B: 'a + ?Sized,`

`pub fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R where Self: AsRef, R: 'a, U: 'a + ?Sized,`

`pub fn pipe_as_mut<'a, U, R>( &'a mut self, func: impl FnOnce(&'a mut U) -> R ) -> R where Self: AsMut, R: 'a, U: 'a + ?Sized,`

`pub fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R where Self: Deref<Target = T>, T: 'a + ?Sized, R: 'a,`

`pub fn pipe_deref_mut<'a, T, R>( &'a mut self, func: impl FnOnce(&'a mut T) -> R ) -> R where Self: DerefMut<Target = T> + Deref, T: 'a + ?Sized, R: 'a,`

`impl<T> Pipe for T`

`pub fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> R`

`impl<T> PipeAsRef for T`

`pub fn pipe_as_ref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R where Self: AsRef<T>, T: 'a, R: 'a,`

`pub fn pipe_as_mut<'a, T, R>( &'a mut self, func: impl FnOnce(&'a mut T) -> R ) -> R where Self: AsMut<T>, T: 'a, R: 'a,`

`impl<T> PipeBorrow for T`

`pub fn pipe_borrow<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R where Self: Borrow<T>, T: 'a, R: 'a,`

`pub fn pipe_borrow_mut<'a, T, R>( &'a mut self, func: impl FnOnce(&'a mut T) -> R ) -> R where Self: BorrowMut<T>, T: 'a, R: 'a,`

`impl<T> PipeDeref for T`

`pub fn pipe_deref<'a, R>( &'a self, func: impl FnOnce(&'a Self::Target) -> R ) -> R where Self: Deref, R: 'a,`

`pub fn pipe_deref_mut<'a, R>( &'a mut self, func: impl FnOnce(&'a mut Self::Target) -> R ) -> R where Self: DerefMut, R: 'a,`

`impl<T> PipeRef for T`

`pub fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> R where R: 'a,`

`pub fn pipe_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> R where R: 'a,`

`impl<T> Tap for T`

`pub fn tap(self, func: impl FnOnce(&Self)) -> Self`

`pub fn tap_mut(self, func: impl FnOnce(&mut Self)) -> Self`

`pub fn tap_borrow(self, func: impl FnOnce(&B)) -> Self where Self: Borrow, B: ?Sized,`

`pub fn tap_borrow_mut(self, func: impl FnOnce(&mut B)) -> Self where Self: BorrowMut, B: ?Sized,`

`pub fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self where Self: AsRef<R>, R: ?Sized,`

`pub fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self where Self: AsMut<R>, R: ?Sized,`

`pub fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self where Self: Deref<Target = T>, T: ?Sized,`

`pub fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self where Self: DerefMut<Target = T> + Deref, T: ?Sized,`

`pub fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self`

`pub fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self`

`pub fn tap_borrow_dbg(self, func: impl FnOnce(&B)) -> Self where Self: Borrow, B: ?Sized,`

`pub fn tap_borrow_mut_dbg(self, func: impl FnOnce(&mut B)) -> Self where Self: BorrowMut, B: ?Sized,`

`pub fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self where Self: AsRef<R>, R: ?Sized,`

`pub fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self where Self: AsMut<R>, R: ?Sized,`

`pub fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self where Self: Deref<Target = T>, T: ?Sized,`

`pub fn tap_deref_mut_dbg<T>(self, func: impl FnOnce(&mut T)) -> Self where Self: DerefMut<Target = T> + Deref, T: ?Sized,`

`impl<T> Tap for T`

`pub fn tap<F, R>(self, func: F) -> Self where F: FnOnce(&Self) -> R,`

`pub fn tap_dbg<F, R>(self, func: F) -> Self where F: FnOnce(&Self) -> R,`

`pub fn tap_mut<F, R>(self, func: F) -> Self where F: FnOnce(&mut Self) -> R,`

`pub fn tap_mut_dbg<F, R>(self, func: F) -> Self where F: FnOnce(&mut Self) -> R,`

`impl<T, U> TapAsRef for T where U: ?Sized,`

`pub fn tap_ref<F, R>(self, func: F) -> Self where Self: AsRef<T>, F: FnOnce(&T) -> R,`

`pub fn tap_ref_dbg<F, R>(self, func: F) -> Self where Self: AsRef<T>, F: FnOnce(&T) -> R,`

`pub fn tap_ref_mut<F, R>(self, func: F) -> Self where Self: AsMut<T>, F: FnOnce(&mut T) -> R,`

`pub fn tap_ref_mut_dbg<F, R>(self, func: F) -> Self where Self: AsMut<T>, F: FnOnce(&mut T) -> R,`

`impl<T, U> TapBorrow for T where U: ?Sized,`

`pub fn tap_borrow<F, R>(self, func: F) -> Self where Self: Borrow<T>, F: FnOnce(&T) -> R,`

`pub fn tap_borrow_dbg<F, R>(self, func: F) -> Self where Self: Borrow<T>, F: FnOnce(&T) -> R,`

`pub fn tap_borrow_mut<F, R>(self, func: F) -> Self where Self: BorrowMut<T>, F: FnOnce(&mut T) -> R,`

`pub fn tap_borrow_mut_dbg<F, R>(self, func: F) -> Self where Self: BorrowMut<T>, F: FnOnce(&mut T) -> R,`

`impl<T> TapDeref for T`

`pub fn tap_deref<F, R>(self, func: F) -> Self where Self: Deref, F: FnOnce(&Self::Target) -> R,`

`pub fn tap_deref_dbg<F, R>(self, func: F) -> Self where Self: Deref, F: FnOnce(&Self::Target) -> R,`

`pub fn tap_deref_mut<F, R>(self, func: F) -> Self where Self: DerefMut, F: FnOnce(&mut Self::Target) -> R,`

`pub fn tap_deref_mut_dbg<F, R>(self, func: F) -> Self where Self: DerefMut, F: FnOnce(&mut Self::Target) -> R,`

`impl<T> ToOwned for T where T: Clone,` [src]

`type Owned = T`

The resulting type after obtaining ownership.

`pub fn to_owned(&self) -> T`[src]

`pub fn clone_into(&self, target: &mut T)`[src]

`impl<T> TryConv for T`

`pub fn try_conv<T>(self) -> Result<T, Self::Error> where Self: TryInto<T>,`

`impl<T> TryConv for T`

`pub fn try_conv<T>(self) -> Result<T, Self::Error> where Self: TryInto<T>,`

`impl<T, U> TryFrom for T where U: Into<T>,` [src]

`type Error = Infallible`

The type returned in the event of a conversion error.

`pub fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>`[src]

`impl<T, U> TryInto for T where U: TryFrom<T>,` [src]

`type Error = >::Error`

The type returned in the event of a conversion error.

`pub fn try_into(self) -> Result<U, >::Error>`[src]

Struct tract_nnef::internal::TypedFact⎘[−][src]

Fields

Implementations

impl TypedFact[src]

pub fn scalar<T>() -> TypedFact where T: Datum, [src]

pub fn shape<T, S>(shape: S) -> TypedFact where T: Datum, S: Into<ShapeFact>, [src]

pub fn dt_scalar(datum_type: DatumType) -> TypedFact[src]

pub fn dt_shape<S>(datum_type: DatumType, shape: S) -> TypedFact where S: Into<ShapeFact>, [src]

pub fn rank(&self) -> usize[src]

pub fn format_dt_shape(&self) -> String[src]

pub fn consistent(&self) -> Result<(), Error>[src]

pub fn without_value(&self) -> TypedFact[src]

Trait Implementations

impl Clone for TypedFact[src]

pub fn clone(&self) -> TypedFact[src]

pub fn clone_from(&mut self, source: &Self)1.0.0[src]

impl Debug for TypedFact[src]

pub fn fmt(&self, fmt: &mut Formatter<'_>) -> Result<(), Error>[src]

impl DynHash for TypedFact[src]

pub fn dyn_hash(&self, state: &mut dyn Hasher)[src]

impl Fact for TypedFact[src]

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

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

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

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

impl<'a> From<&'a TypedFact> for TypedFact[src]

pub fn from(fact: &TypedFact) -> TypedFact[src]

impl<'t> From<&'t Tensor> for TypedFact[src]

pub fn from(t: &'t Tensor) -> TypedFact[src]

impl From<Arc<Tensor>> for TypedFact[src]

pub fn from(t: Arc<Tensor>) -> TypedFact[src]

impl From<Tensor> for TypedFact[src]

pub fn from(t: Tensor) -> TypedFact[src]

impl Hash for TypedFact[src]

pub fn hash<__H>(&self, state: &mut __H) where __H: Hasher, [src]

pub fn hash_slice<H>(data: &[Self], state: &mut H) where H: Hasher, 1.3.0[src]

impl PartialEq<TypedFact> for TypedFact[src]

pub fn eq(&self, other: &TypedFact) -> bool[src]

pub fn ne(&self, other: &TypedFact) -> bool[src]

impl SpecialOps<TypedFact, Box<dyn TypedOp + 'static, Global>> for Graph<TypedFact, Box<dyn TypedOp + 'static, Global>>[src]

pub fn is_source(op: &Box<dyn TypedOp + 'static, Global>) -> bool[src]

Notable traits for Box<R, Global>

Notable traits for Box<R, Global>

pub fn wire_node( &mut self, name: impl Into<String>, op: impl Into<Box<dyn TypedOp + 'static, Global>>, inputs: &[OutletId]) -> Result<SmallVec<[OutletId; 4]>, Error>[src]

impl StructuralPartialEq for TypedFact[src]

impl Translate<TypedFact, Box<dyn TypedOp + 'static, Global>, TypedFact, Box<dyn TypedOp + 'static, Global>> for SymbolValues[src]

pub fn translate_model( &self, source: &Graph<TI1, O1>) -> Result<Graph<TI2, O2>, Error>[src]

pub fn translate_model_with_mappings( &self, source: &Graph<TI1, O1>) -> Result<(Graph<TI2, O2>, HashMap<OutletId, OutletId, RandomState>), Error>[src]

Auto Trait Implementations

impl RefUnwindSafe for TypedFact

impl Send for TypedFact

impl Sync for TypedFact

impl Unpin for TypedFact

impl UnwindSafe for TypedFact

Blanket Implementations

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

pub fn type_id(&self) -> TypeId[src]

impl<T> Borrow<T> for T where T: ?Sized, [src]

Notable traits for &'_ mut R

impl<T> BorrowMut<T> for T where T: ?Sized, [src]

Notable traits for &'_ mut R

impl<T> Conv for T

pub fn conv<T>(self) -> T where Self: Into<T>,

impl<T> Conv for T

pub fn conv<T>(self) -> T where Self: Into<T>,

impl<T> Downcast for T where T: Any,

Notable traits for Box<R, Global>

pub fn into_any_rc(self: Rc<T>) -> Rc<dyn Any + 'static>

pub fn as_any(&self) -> &(dyn Any + 'static)

pub fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)

impl<T> DowncastSync for T where T: Any + Send + Sync,

pub fn into_any_arc(self: Arc<T>) -> Arc<dyn Any + 'static + Sync + Send>

impl<T> DynClone for T where T: Clone, [src]

pub fn __clone_box(&self, Private) -> *mut ()[src]

impl<T> FmtForward for T

pub fn fmt_binary(self) -> FmtBinary<Self> where Self: Binary,

pub fn fmt_display(self) -> FmtDisplay<Self> where Self: Display,

pub fn fmt_lower_exp(self) -> FmtLowerExp<Self> where Self: LowerExp,

pub fn fmt_lower_hex(self) -> FmtLowerHex<Self> where Self: LowerHex,

pub fn fmt_octal(self) -> FmtOctal<Self> where Self: Octal,

Struct tract_nnef::internal::TypedFact[−][src]

`impl TypedFact`[src]

`pub fn scalar<T>() -> TypedFact where T: Datum,` [src]

`pub fn shape<T, S>(shape: S) -> TypedFact where T: Datum, S: Into<ShapeFact>,` [src]

`pub fn dt_scalar(datum_type: DatumType) -> TypedFact`[src]

`pub fn dt_shape<S>(datum_type: DatumType, shape: S) -> TypedFact where S: Into<ShapeFact>,` [src]

`pub fn rank(&self) -> usize`[src]

`pub fn format_dt_shape(&self) -> String`[src]

`pub fn consistent(&self) -> Result<(), Error>`[src]

`pub fn without_value(&self) -> TypedFact`[src]

`impl Clone for TypedFact`[src]

`pub fn clone(&self) -> TypedFact`[src]

`pub fn clone_from(&mut self, source: &Self)`1.0.0 [src]

`impl Debug for TypedFact`[src]

`pub fn fmt(&self, fmt: &mut Formatter<'_>) -> Result<(), Error>`[src]

`impl DynHash for TypedFact`[src]

`pub fn dyn_hash(&self, state: &mut dyn Hasher)`[src]

`impl Fact for TypedFact`[src]

`pub fn to_typed_fact(&self) -> Result<TypedFact, Error>`[src]

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

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

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

`impl<'a> From<&'a TypedFact> for TypedFact`[src]

`pub fn from(fact: &TypedFact) -> TypedFact`[src]

`impl<'t> From<&'t Tensor> for TypedFact`[src]

`pub fn from(t: &'t Tensor) -> TypedFact`[src]

`impl From<Arc<Tensor>> for TypedFact`[src]

`pub fn from(t: Arc<Tensor>) -> TypedFact`[src]

`impl From<Tensor> for TypedFact`[src]

`pub fn from(t: Tensor) -> TypedFact`[src]

`impl Hash for TypedFact`[src]

`pub fn hash<H>(&self, state: &mut H) where __H: Hasher,` [src]

`pub fn hash_slice<H>(data: &[Self], state: &mut H) where H: Hasher,` 1.3.0 [src]

`impl PartialEq<TypedFact> for TypedFact`[src]

`pub fn eq(&self, other: &TypedFact) -> bool`[src]

`pub fn ne(&self, other: &TypedFact) -> bool`[src]

`impl SpecialOps<TypedFact, Box<dyn TypedOp + 'static, Global>> for Graph<TypedFact, Box<dyn TypedOp + 'static, Global>>`[src]

`pub fn is_source(op: &Box<dyn TypedOp + 'static, Global>) -> bool`[src]

`pub fn wire_node( &mut self, name: impl Into<String>, op: impl Into<Box<dyn TypedOp + 'static, Global>>, inputs: &[OutletId] ) -> Result<SmallVec<[OutletId; 4]>, Error>`[src]

`impl StructuralPartialEq for TypedFact`[src]

`impl Translate<TypedFact, Box<dyn TypedOp + 'static, Global>, TypedFact, Box<dyn TypedOp + 'static, Global>> for SymbolValues`[src]

`pub fn translate_model( &self, source: &Graph<TI1, O1> ) -> Result<Graph<TI2, O2>, Error>`[src]

`pub fn translate_model_with_mappings( &self, source: &Graph<TI1, O1> ) -> Result<(Graph<TI2, O2>, HashMap<OutletId, OutletId, RandomState>), Error>`[src]

`impl RefUnwindSafe for TypedFact`

`impl Send for TypedFact`

`impl Sync for TypedFact`

`impl Unpin for TypedFact`

`impl UnwindSafe for TypedFact`

`impl<T> Any for T where T: 'static + ?Sized,` [src]

`pub fn type_id(&self) -> TypeId`[src]

`impl<T> Borrow<T> for T where T: ?Sized,` [src]

`impl<T> BorrowMut<T> for T where T: ?Sized,` [src]

`impl<T> Conv for T`

`pub fn conv<T>(self) -> T where Self: Into<T>,`

`impl<T> Conv for T`

`pub fn conv<T>(self) -> T where Self: Into<T>,`

`impl<T> Downcast for T where T: Any,`

`pub fn into_any_rc(self: Rc<T>) -> Rc<dyn Any + 'static>`

`pub fn as_any(&self) -> &(dyn Any + 'static)`

`pub fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)`

`impl<T> DowncastSync for T where T: Any + Send + Sync,`

`pub fn into_any_arc(self: Arc<T>) -> Arc<dyn Any + 'static + Sync + Send>`

`impl<T> DynClone for T where T: Clone,` [src]

`pub fn __clone_box(&self, Private) -> *mut ()`[src]

`impl<T> FmtForward for T`

`pub fn fmt_binary(self) -> FmtBinary<Self> where Self: Binary,`

`pub fn fmt_display(self) -> FmtDisplay<Self> where Self: Display,`

`pub fn fmt_lower_exp(self) -> FmtLowerExp<Self> where Self: LowerExp,`

`pub fn fmt_lower_hex(self) -> FmtLowerHex<Self> where Self: LowerHex,`

`pub fn fmt_octal(self) -> FmtOctal<Self> where Self: Octal,`

`pub fn fmt_pointer(self) -> FmtPointer<Self> where Self: Pointer,`

`pub fn fmt_upper_exp(self) -> FmtUpperExp<Self> where Self: UpperExp,`

`pub fn fmt_upper_hex(self) -> FmtUpperHex<Self> where Self: UpperHex,`

`impl<T> From<T> for T`[src]

`pub fn from(t: T) -> T`[src]

`impl<T, U> Into<U> for T where U: From<T>,` [src]

`pub fn into(self) -> U`[src]

`impl<T> Pipe for T where T: ?Sized,`

`pub fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> R`

`pub fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> R where R: 'a,`