[][src]Struct gf::pivot::OperationOutput

pub struct OperationOutput {
    pub metadata: Metadata,
    pub size: VarSize,
    pub precondition: Option<BoundExpr<OperationInputBinding>>,
    pub expr: Option<BoundExpr<OperationInputBinding>>,
}

Output of an operation.

Fields

metadata: Metadata

Metadata associated with the output.

size: VarSize

Bit size of the output.

precondition: Option<BoundExpr<OperationInputBinding>>

Optional boolean precondition expression.

If precondition evaluates to true or is None, then expr can be evaluated to calcuate the value of the output. Otherwise, the value of the output is unknown.

expr: Option<BoundExpr<OperationInputBinding>>

Optional value expression.

If expr is None, then the output has no known value.

Trait Implementations

impl Clone for OperationOutput[src]

impl Debug for OperationOutput[src]

Auto Trait Implementations

impl Send for OperationOutput

impl Sync for OperationOutput

impl Unpin for OperationOutput

impl UnwindSafe for OperationOutput

impl RefUnwindSafe for OperationOutput

Blanket Implementations

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

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

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

type Owned = T

The resulting type after obtaining ownership.

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

type Error = Infallible

The type returned in the event of a conversion error.

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

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

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

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

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