quil_rs::program::analysis

Struct QubitGraph

Source
pub struct QubitGraph<'a> { /* private fields */ }
Expand description

QubitGraph is a logical execution/dependency graph of instructions. Pragma, RF Control, and Control Flow instructions are not supported. It is a directed graph from the first instructions (the set of instructions that do not depend on prior instructions) to the last instructions (the set of instructions that are not prerequisites for any later instructions).

Nodes are instructions; edges link subsequent instructions which use a shared qubit.

Implementations§

Source§

impl<'a> QubitGraph<'a>

Source

pub fn gate_depth(&self, gate_minimum_qubit_count: usize) -> usize

Returns the length of the longest path from an initial instruction (one with no prerequisite instructions) to a final instruction (one with no dependent instructions), where the length of a path is the number of gate instructions in the path.

§Arguments
  • gate_minimum_qubit_count - The minimum number of qubits in a gate for it to be counted in the depth.

Trait Implementations§

Source§

impl<'a> Debug for QubitGraph<'a>

Source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
Source§

impl<'a> TryFrom<&BasicBlock<'a>> for QubitGraph<'a>

Source§

type Error = QubitGraphError

The type returned in the event of a conversion error.
Source§

fn try_from(block: &BasicBlock<'a>) -> Result<Self, Self::Error>

Performs the conversion.

Auto Trait Implementations§

§

impl<'a> Freeze for QubitGraph<'a>

§

impl<'a> RefUnwindSafe for QubitGraph<'a>

§

impl<'a> Send for QubitGraph<'a>

§

impl<'a> Sync for QubitGraph<'a>

§

impl<'a> Unpin for QubitGraph<'a>

§

impl<'a> UnwindSafe for QubitGraph<'a>

Blanket Implementations§

Source§

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

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<SS, SP> SupersetOf<SS> for SP
where SS: SubsetOf<SP>,

Source§

fn to_subset(&self) -> Option<SS>

The inverse inclusion map: attempts to construct self from the equivalent element of its superset. Read more
Source§

fn is_in_subset(&self) -> bool

Checks if self is actually part of its subset T (and can be converted to it).
Source§

fn to_subset_unchecked(&self) -> SS

Use with care! Same as self.to_subset but without any property checks. Always succeeds.
Source§

fn from_subset(element: &SS) -> SP

The inclusion map: converts self to the equivalent element of its superset.
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

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

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V