Conditionable

qip::conditioning

Trait Conditionable 

Source 
pub trait Conditionable: CircuitBuilder {
    // Required method
    fn try_apply_with_condition(
        &mut self,
        cr: Self::Register,
        r: Self::Register,
        co: Self::CircuitObject,
    ) -> Result<(Self::Register, Self::Register), CircuitError>;

    // Provided method
    fn condition_with(&mut self, cr: Self::Register) -> Conditioned<'_, Self> { ... }
}
Expand description

A CircuitBuilder is conditionable if it can condition all unitaries with a given register.

Required Methods§

Source

fn try_apply_with_condition( &mut self, cr: Self::Register, r: Self::Register, co: Self::CircuitObject, ) -> Result<(Self::Register, Self::Register), CircuitError>

Attempt to condition a circuit object co applied to r with the register cr.

Provided Methods§

Source

fn condition_with(&mut self, cr: Self::Register) -> Conditioned<'_, Self>

Construct a new circuitbuilder which conditions all unitaries with cr.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§