Enum LoopCount 

pub enum LoopCount {
    Const(usize),
    Trip {
        trip: TripId,
        max: usize,
    },
}

How many times a loop runs.

Variants

Const(usize)

Fixed when the program is built.

Trip

The count of the program’s trip trip, read from its data before it runs; max is the trip’s greatest count (Trip::hi), the bound every static question — a buffer’s traffic, a walk’s multiplicity — takes.

Fields

trip: TripId

max: usize

Implementations

impl LoopCount

pub fn bound(self) -> usize

The most times the loop runs: its count when fixed, its trip’s greatest count otherwise.

pub fn at(self, counts: &[usize]) -> usize

The times the loop runs when each trip t counts counts[t].

pub fn trip(self) -> Option<TripId>

The trip the loop runs to, when its count is read from the data.

Trait Implementations

impl Clone for LoopCount

fn clone(&self) -> LoopCount

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LoopCount

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for LoopCount

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Hash for LoopCount

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for LoopCount

fn eq(&self, other: &LoopCount) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for LoopCount

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for LoopCount

impl Eq for LoopCount

impl StructuralPartialEq for LoopCount