Struct Loop 

pub struct Loop {
    pub init: Vec<IId>,
    pub cond: IId,
    pub next: Vec<IId>,
    pub parent: Option<u32>,
    pub cap: Option<u32>,
}

A structured while loop: s = init; while cond(s) { s = next(s) }.

Fields

init: Vec<IId>

Initial states (in the enclosing scope).

cond: IId

Condition, checked before each iteration.

next: Vec<IId>

Next states.

parent: Option<u32>

Enclosing loop, if nested.

cap: Option<u32>

Trip cap: when set, the loop also exits after this many iterations (every backend counts the same way). Untrusted graphs always carry one.

Trait Implementations

impl Clone for Loop

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Loop

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

Formats the value using the given formatter.