Struct And

#[repr(C)]
pub struct And { /* private fields */ }

Implementations

impl And

pub fn from_fields( loc: impl Into<Location>, ty: impl Into<Type>, a: impl Into<Expr>, b: impl Into<Expr>, ) -> Self

Lossless complete-field allocation.

impl And

pub fn new( a: impl IntoExpr, b: impl IntoExpr, loc: impl Into<Location>, ) -> Result<Self>

The node the boolean a && b over boolean operands (C++ And(a, b, loc)).

Trait Implementations

impl Add<&And> for f32

type Output = ExprResult

The resulting type after applying the + operator.

fn add(self, rhs: &And) -> Self::Output

Performs the + operation.

impl Add<&And> for f64

type Output = ExprResult

The resulting type after applying the + operator.

fn add(self, rhs: &And) -> Self::Output

Performs the + operation.

impl Add<&And> for i32

type Output = ExprResult

The resulting type after applying the + operator.

fn add(self, rhs: &And) -> Self::Output

Performs the + operation.

impl Add<&And> for i64

type Output = ExprResult

The resulting type after applying the + operator.

fn add(self, rhs: &And) -> Self::Output

Performs the + operation.

impl Add<And> for f32

type Output = ExprResult

The resulting type after applying the + operator.

fn add(self, rhs: And) -> Self::Output

Performs the + operation.

impl Add<And> for f64

type Output = ExprResult

The resulting type after applying the + operator.

fn add(self, rhs: And) -> Self::Output

Performs the + operation.

impl Add<And> for i32

type Output = ExprResult

The resulting type after applying the + operator.

fn add(self, rhs: And) -> Self::Output

Performs the + operation.

impl Add<And> for i64

type Output = ExprResult

The resulting type after applying the + operator.

fn add(self, rhs: And) -> Self::Output

Performs the + operation.

impl<R: Operand> Add<R> for &And

type Output = ExprResult

The resulting type after applying the + operator.

fn add(self, rhs: R) -> Self::Output

Performs the + operation.

impl<R: Operand> Add<R> for And

type Output = ExprResult

The resulting type after applying the + operator.

fn add(self, rhs: R) -> Self::Output

Performs the + operation.

impl AnyCompatible for And

unsafe fn is_undefined(field: *const Self) -> bool

Whether field, which holds a value of this type or all-zero bytes, holds all-zero bytes that are no value of this type, as a null object reference, a string of type index None or a zero device type: a field that a creator left undefined for reflection to set, as C++ UnsafeInit leaves a reference undefined (null). Unlike a C++ undefined reference, it is no value; a nullable reference is Option<T>, whose None is a defined value.

fn type_str() -> String

the type string of the type

unsafe fn copy_to_any_view(src: &Self, data: &mut TVMFFIAny)

the value to copy to TVMFFIAny

unsafe fn check_any_strict(data: &TVMFFIAny) -> bool

unsafe fn copy_from_any_view_after_check(data: &TVMFFIAny) -> Self

Copy value from TVMFFIAny after checking caller must ensure that the value is compatible with the type

unsafe fn move_to_any(src: Self, data: &mut TVMFFIAny)

consume the value to move to Any

unsafe fn move_from_any_after_check(data: &mut TVMFFIAny) -> Self

the value to move from TVMFFIAny NOTE: pay very careful attention to avoid memory leak!

unsafe fn try_cast_from_any_view(data: &TVMFFIAny) -> Result<Self, ()>

try to cast the value from AnyView

fn get_mismatch_type_info(data: &TVMFFIAny) -> String

Get the type key of a type when TryCastFromAnyView fails.

fn type_schema() -> String

The type schema of the type: the JSON object C++ TypeTraits<T>::TypeSchema writes, which the type schemas of functions and fields embed.

fn to_any(&self) -> Any

Borrow self into an owned Any, increfing object-backed values.

impl<'a> ArgIntoRef for &'a And

type Target = And

fn to_ref(&self) -> &Self::Target

impl ArgIntoRef for And

type Target = And

fn to_ref(&self) -> &Self::Target

impl BitAnd<&And> for f32

type Output = ExprResult

The resulting type after applying the & operator.

fn bitand(self, rhs: &And) -> Self::Output

Performs the & operation.

impl BitAnd<&And> for f64

type Output = ExprResult

The resulting type after applying the & operator.

fn bitand(self, rhs: &And) -> Self::Output

Performs the & operation.

impl BitAnd<&And> for i32

type Output = ExprResult

The resulting type after applying the & operator.

fn bitand(self, rhs: &And) -> Self::Output

Performs the & operation.

impl BitAnd<&And> for i64

type Output = ExprResult

The resulting type after applying the & operator.

fn bitand(self, rhs: &And) -> Self::Output

Performs the & operation.

impl BitAnd<And> for f32

type Output = ExprResult

The resulting type after applying the & operator.

fn bitand(self, rhs: And) -> Self::Output

Performs the & operation.

impl BitAnd<And> for f64

type Output = ExprResult

The resulting type after applying the & operator.

fn bitand(self, rhs: And) -> Self::Output

Performs the & operation.

impl BitAnd<And> for i32

type Output = ExprResult

The resulting type after applying the & operator.

fn bitand(self, rhs: And) -> Self::Output

Performs the & operation.

impl BitAnd<And> for i64

type Output = ExprResult

The resulting type after applying the & operator.

fn bitand(self, rhs: And) -> Self::Output

Performs the & operation.

impl<R: Operand> BitAnd<R> for &And

type Output = ExprResult

The resulting type after applying the & operator.

fn bitand(self, rhs: R) -> Self::Output

Performs the & operation.

impl<R: Operand> BitAnd<R> for And

type Output = ExprResult

The resulting type after applying the & operator.

fn bitand(self, rhs: R) -> Self::Output

Performs the & operation.

impl BitOr<&And> for f32

type Output = ExprResult

The resulting type after applying the | operator.

fn bitor(self, rhs: &And) -> Self::Output

Performs the | operation.

impl BitOr<&And> for f64

type Output = ExprResult

The resulting type after applying the | operator.

fn bitor(self, rhs: &And) -> Self::Output

Performs the | operation.

impl BitOr<&And> for i32

type Output = ExprResult

The resulting type after applying the | operator.

fn bitor(self, rhs: &And) -> Self::Output

Performs the | operation.

impl BitOr<&And> for i64

type Output = ExprResult

The resulting type after applying the | operator.

fn bitor(self, rhs: &And) -> Self::Output

Performs the | operation.

impl BitOr<And> for f32

type Output = ExprResult

The resulting type after applying the | operator.

fn bitor(self, rhs: And) -> Self::Output

Performs the | operation.

impl BitOr<And> for f64

type Output = ExprResult

The resulting type after applying the | operator.

fn bitor(self, rhs: And) -> Self::Output

Performs the | operation.

impl BitOr<And> for i32

type Output = ExprResult

The resulting type after applying the | operator.

fn bitor(self, rhs: And) -> Self::Output

Performs the | operation.

impl BitOr<And> for i64

type Output = ExprResult

The resulting type after applying the | operator.

fn bitor(self, rhs: And) -> Self::Output

Performs the | operation.

impl<R: Operand> BitOr<R> for &And

type Output = ExprResult

The resulting type after applying the | operator.

fn bitor(self, rhs: R) -> Self::Output

Performs the | operation.

impl<R: Operand> BitOr<R> for And

type Output = ExprResult

The resulting type after applying the | operator.

fn bitor(self, rhs: R) -> Self::Output

Performs the | operation.

impl BitXor<&And> for f32

type Output = ExprResult

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: &And) -> Self::Output

Performs the ^ operation.

impl BitXor<&And> for f64

type Output = ExprResult

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: &And) -> Self::Output

Performs the ^ operation.

impl BitXor<&And> for i32

type Output = ExprResult

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: &And) -> Self::Output

Performs the ^ operation.

impl BitXor<&And> for i64

type Output = ExprResult

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: &And) -> Self::Output

Performs the ^ operation.

impl BitXor<And> for f32

type Output = ExprResult

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: And) -> Self::Output

Performs the ^ operation.

impl BitXor<And> for f64

type Output = ExprResult

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: And) -> Self::Output

Performs the ^ operation.

impl BitXor<And> for i32

type Output = ExprResult

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: And) -> Self::Output

Performs the ^ operation.

impl BitXor<And> for i64

type Output = ExprResult

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: And) -> Self::Output

Performs the ^ operation.

impl<R: Operand> BitXor<R> for &And

type Output = ExprResult

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: R) -> Self::Output

Performs the ^ operation.

impl<R: Operand> BitXor<R> for And

type Output = ExprResult

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: R) -> Self::Output

Performs the ^ operation.

impl Clone for And

fn clone(&self) -> And

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Deref for And

type Target = AndObj

The resulting type after dereferencing.

fn deref(&self) -> &AndObj

Dereferences the value.

impl From<&And> for And

fn from(value: &And) -> Self

Converts to this type from the input type.

impl From<&And> for Expr

fn from(value: &And) -> Self

Converts to this type from the input type.

impl From<&And> for ExprResult

fn from(value: &And) -> Self

Converts to this type from the input type.

impl From<And> for Expr

fn from(value: And) -> Self

Converts to this type from the input type.

impl From<And> for ExprResult

fn from(value: And) -> Self

Converts to this type from the input type.

impl<'a> IntoArgHolder for &'a And

type Target = &'a And

fn into_arg_holder(self) -> Self::Target

impl IntoArgHolder for And

type Target = And

fn into_arg_holder(self) -> Self::Target

impl Mul<&And> for f32

type Output = ExprResult

The resulting type after applying the * operator.

fn mul(self, rhs: &And) -> Self::Output

Performs the * operation.

impl Mul<&And> for f64

type Output = ExprResult

The resulting type after applying the * operator.

fn mul(self, rhs: &And) -> Self::Output

Performs the * operation.

impl Mul<&And> for i32

type Output = ExprResult

The resulting type after applying the * operator.

fn mul(self, rhs: &And) -> Self::Output

Performs the * operation.

impl Mul<&And> for i64

type Output = ExprResult

The resulting type after applying the * operator.

fn mul(self, rhs: &And) -> Self::Output

Performs the * operation.

impl Mul<And> for f32

type Output = ExprResult

The resulting type after applying the * operator.

fn mul(self, rhs: And) -> Self::Output

Performs the * operation.

impl Mul<And> for f64

type Output = ExprResult

The resulting type after applying the * operator.

fn mul(self, rhs: And) -> Self::Output

Performs the * operation.

impl Mul<And> for i32

type Output = ExprResult

The resulting type after applying the * operator.

fn mul(self, rhs: And) -> Self::Output

Performs the * operation.

impl Mul<And> for i64

type Output = ExprResult

The resulting type after applying the * operator.

fn mul(self, rhs: And) -> Self::Output

Performs the * operation.

impl<R: Operand> Mul<R> for &And

type Output = ExprResult

The resulting type after applying the * operator.

fn mul(self, rhs: R) -> Self::Output

Performs the * operation.

impl<R: Operand> Mul<R> for And

type Output = ExprResult

The resulting type after applying the * operator.

fn mul(self, rhs: R) -> Self::Output

Performs the * operation.

impl Neg for &And

type Output = ExprResult

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl Neg for And

type Output = ExprResult

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl Not for &And

type Output = ExprResult

The resulting type after applying the ! operator.

fn not(self) -> Self::Output

Performs the unary ! operation.

impl Not for And

type Output = ExprResult

The resulting type after applying the ! operator.

fn not(self) -> Self::Output

Performs the unary ! operation.

impl ObjectRefCore for And

type ContainerType = <ObjectArc<AndObj> as Deref>::Target

fn data(this: &Self) -> &ObjectArc<Self::ContainerType>

fn into_data(this: Self) -> ObjectArc<Self::ContainerType>

unsafe fn from_data(data: ObjectArc<Self::ContainerType>) -> Self

Construct a reference view from an owning container handle.

fn same_as<Other>(&self, other: &Other) -> bool

where Other: ObjectRefCore,

Return whether two object references point to the same allocation.

fn downcast_ref<T>(&self) -> Option<&T>

where T: ObjectCore,

Borrow the underlying object as T when its runtime type is T or a subtype.

impl PrimOps for And

fn to_expr_result(&self) -> ExprResult

This expression as an ExprResult (a reference-count increment).

fn less(&self, rhs: impl Operand) -> ExprResult

C++ a < b (lt).

fn less_equal(&self, rhs: impl Operand) -> ExprResult

C++ a <= b (le).

fn greater(&self, rhs: impl Operand) -> ExprResult

C++ a > b (gt).

fn greater_equal(&self, rhs: impl Operand) -> ExprResult

C++ a >= b (ge).

fn equal(&self, rhs: impl Operand) -> ExprResult

C++ a == b (eq).

fn not_equal(&self, rhs: impl Operand) -> ExprResult

C++ a != b (ne).

fn logical_and(&self, rhs: impl IntoExpr) -> ExprResult

C++ a && b (logical_and).

fn logical_or(&self, rhs: impl IntoExpr) -> ExprResult

C++ a || b (logical_or).

fn div(&self, rhs: impl Operand) -> ExprResult

C++ div: a / b, truncating for integers.

fn truncdiv(&self, rhs: impl Operand) -> ExprResult

C++ truncdiv.

fn truncmod(&self, rhs: impl Operand) -> ExprResult

C++ truncmod.

fn floordiv(&self, rhs: impl Operand) -> ExprResult

C++ floordiv.

fn floormod(&self, rhs: impl Operand) -> ExprResult

C++ floormod.

fn indexdiv(&self, rhs: impl Operand) -> ExprResult

C++ indexdiv.

fn indexmod(&self, rhs: impl Operand) -> ExprResult

C++ indexmod.

fn ceildiv(&self, rhs: impl Operand) -> ExprResult

C++ ceildiv.

fn min(&self, rhs: impl Operand) -> ExprResult

C++ min.

fn max(&self, rhs: impl Operand) -> ExprResult

C++ max.

fn pow(&self, rhs: impl IntoExpr) -> ExprResult

C++ pow(a, b) (pow).

fn fmod(&self, rhs: impl IntoExpr) -> ExprResult

C++ fmod(a, b) (fmod).

fn atan2(&self, rhs: impl IntoExpr) -> ExprResult

C++ atan2(a, b) (atan2).

fn nextafter(&self, rhs: impl IntoExpr) -> ExprResult

C++ nextafter(a, b) (nextafter).

fn copysign(&self, rhs: impl IntoExpr) -> ExprResult

C++ copysign(a, b) (copysign).

fn hypot(&self, rhs: impl IntoExpr) -> ExprResult

C++ hypot(a, b) (hypot).

fn ldexp(&self, rhs: impl IntoExpr) -> ExprResult

C++ ldexp(a, b) (ldexp).

fn bitwise_not(&self) -> ExprResult

C++ ~a (bitwise_not).

fn floor(&self) -> ExprResult

C++ floor.

fn ceil(&self) -> ExprResult

C++ ceil.

fn round(&self) -> ExprResult

C++ round.

fn nearbyint(&self) -> ExprResult

C++ nearbyint.

fn trunc(&self) -> ExprResult

C++ trunc.

fn abs(&self) -> ExprResult

C++ abs.

fn isnan(&self) -> ExprResult

C++ isnan.

fn isinf(&self) -> ExprResult

C++ isinf.

fn isfinite(&self) -> ExprResult

C++ isfinite.

fn likely(&self) -> ExprResult

C++ likely.

fn assume(&self) -> ExprResult

C++ assume.

fn clz(&self) -> ExprResult

C++ clz.

fn exp(&self) -> ExprResult

C++ exp.

fn exp2(&self) -> ExprResult

C++ exp2.

fn exp10(&self) -> ExprResult

C++ exp10.

fn erf(&self) -> ExprResult

C++ erf.

fn sigmoid(&self) -> ExprResult

C++ sigmoid.

fn sqrt(&self) -> ExprResult

C++ sqrt.

fn rsqrt(&self) -> ExprResult

C++ rsqrt.

fn log(&self) -> ExprResult

C++ log.

fn log2(&self) -> ExprResult

C++ log2.

fn log10(&self) -> ExprResult

C++ log10.

fn log1p(&self) -> ExprResult

C++ log1p.

fn popcount(&self) -> ExprResult

C++ popcount.

fn tanh(&self) -> ExprResult

C++ tanh.

fn tan(&self) -> ExprResult

C++ tan.

fn cos(&self) -> ExprResult

C++ cos.

fn cosh(&self) -> ExprResult

C++ cosh.

fn sin(&self) -> ExprResult

C++ sin.

fn sinh(&self) -> ExprResult

C++ sinh.

fn asin(&self) -> ExprResult

C++ asin.

fn acos(&self) -> ExprResult

C++ acos.

fn atan(&self) -> ExprResult

C++ atan.

fn acosh(&self) -> ExprResult

C++ acosh.

fn asinh(&self) -> ExprResult

C++ asinh.

fn atanh(&self) -> ExprResult

C++ atanh.

fn cast(&self, ty: impl Into<PrimType>) -> ExprResult

C++ cast(a, t) (cast).

fn if_then_else(&self, t: impl IntoExpr, f: impl IntoExpr) -> ExprResult

C++ if_then_else(self, t, f) (if_then_else), with self the condition.

fn select(&self, t: impl IntoExpr, f: impl IntoExpr) -> ExprResult

The raw Select(self, t, f) (Select::new), with self the condition.

impl Shl<&And> for f32

type Output = ExprResult

The resulting type after applying the << operator.

fn shl(self, rhs: &And) -> Self::Output

Performs the << operation.

impl Shl<&And> for f64

type Output = ExprResult

The resulting type after applying the << operator.

fn shl(self, rhs: &And) -> Self::Output

Performs the << operation.

impl Shl<&And> for i32

type Output = ExprResult

The resulting type after applying the << operator.

fn shl(self, rhs: &And) -> Self::Output

Performs the << operation.

impl Shl<&And> for i64

type Output = ExprResult

The resulting type after applying the << operator.

fn shl(self, rhs: &And) -> Self::Output

Performs the << operation.

impl Shl<And> for f32

type Output = ExprResult

The resulting type after applying the << operator.

fn shl(self, rhs: And) -> Self::Output

Performs the << operation.

impl Shl<And> for f64

type Output = ExprResult

The resulting type after applying the << operator.

fn shl(self, rhs: And) -> Self::Output

Performs the << operation.

impl Shl<And> for i32

type Output = ExprResult

The resulting type after applying the << operator.

fn shl(self, rhs: And) -> Self::Output

Performs the << operation.

impl Shl<And> for i64

type Output = ExprResult

The resulting type after applying the << operator.

fn shl(self, rhs: And) -> Self::Output

Performs the << operation.

impl<R: Operand> Shl<R> for &And

type Output = ExprResult

The resulting type after applying the << operator.

fn shl(self, rhs: R) -> Self::Output

Performs the << operation.

impl<R: Operand> Shl<R> for And

type Output = ExprResult

The resulting type after applying the << operator.

fn shl(self, rhs: R) -> Self::Output

Performs the << operation.

impl Shr<&And> for f32

type Output = ExprResult

The resulting type after applying the >> operator.

fn shr(self, rhs: &And) -> Self::Output

Performs the >> operation.

impl Shr<&And> for f64

type Output = ExprResult

The resulting type after applying the >> operator.

fn shr(self, rhs: &And) -> Self::Output

Performs the >> operation.

impl Shr<&And> for i32

type Output = ExprResult

The resulting type after applying the >> operator.

fn shr(self, rhs: &And) -> Self::Output

Performs the >> operation.

impl Shr<&And> for i64

type Output = ExprResult

The resulting type after applying the >> operator.

fn shr(self, rhs: &And) -> Self::Output

Performs the >> operation.

impl Shr<And> for f32

type Output = ExprResult

The resulting type after applying the >> operator.

fn shr(self, rhs: And) -> Self::Output

Performs the >> operation.

impl Shr<And> for f64

type Output = ExprResult

The resulting type after applying the >> operator.

fn shr(self, rhs: And) -> Self::Output

Performs the >> operation.

impl Shr<And> for i32

type Output = ExprResult

The resulting type after applying the >> operator.

fn shr(self, rhs: And) -> Self::Output

Performs the >> operation.

impl Shr<And> for i64

type Output = ExprResult

The resulting type after applying the >> operator.

fn shr(self, rhs: And) -> Self::Output

Performs the >> operation.

impl<R: Operand> Shr<R> for &And

type Output = ExprResult

The resulting type after applying the >> operator.

fn shr(self, rhs: R) -> Self::Output

Performs the >> operation.

impl<R: Operand> Shr<R> for And

type Output = ExprResult

The resulting type after applying the >> operator.

fn shr(self, rhs: R) -> Self::Output

Performs the >> operation.

impl Sub<&And> for f32

type Output = ExprResult

The resulting type after applying the - operator.

fn sub(self, rhs: &And) -> Self::Output

Performs the - operation.

impl Sub<&And> for f64

type Output = ExprResult

The resulting type after applying the - operator.

fn sub(self, rhs: &And) -> Self::Output

Performs the - operation.

impl Sub<&And> for i32

type Output = ExprResult

The resulting type after applying the - operator.

fn sub(self, rhs: &And) -> Self::Output

Performs the - operation.

impl Sub<&And> for i64

type Output = ExprResult

The resulting type after applying the - operator.

fn sub(self, rhs: &And) -> Self::Output

Performs the - operation.

impl Sub<And> for f32

type Output = ExprResult

The resulting type after applying the - operator.

fn sub(self, rhs: And) -> Self::Output

Performs the - operation.

impl Sub<And> for f64

type Output = ExprResult

The resulting type after applying the - operator.

fn sub(self, rhs: And) -> Self::Output

Performs the - operation.

impl Sub<And> for i32

type Output = ExprResult

The resulting type after applying the - operator.

fn sub(self, rhs: And) -> Self::Output

Performs the - operation.

impl Sub<And> for i64

type Output = ExprResult

The resulting type after applying the - operator.

fn sub(self, rhs: And) -> Self::Output

Performs the - operation.

impl<R: Operand> Sub<R> for &And

type Output = ExprResult

The resulting type after applying the - operator.

fn sub(self, rhs: R) -> Self::Output

Performs the - operation.

impl<R: Operand> Sub<R> for And

type Output = ExprResult

The resulting type after applying the - operator.

fn sub(self, rhs: R) -> Self::Output

Performs the - operation.

impl TryFrom<Any> for And

type Error = Error

The type returned in the event of a conversion error.

fn try_from(value: Any) -> Result<Self, Self::Error>

Performs the conversion.

impl<'a> TryFrom<AnyView<'a>> for And

type Error = Error

The type returned in the event of a conversion error.

fn try_from(value: AnyView<'a>) -> Result<Self, Self::Error>

Performs the conversion.