Struct move_model::ast::Condition

pub struct Condition {
    pub loc: Loc,
    pub kind: ConditionKind,
    pub properties: PropertyBag,
    pub exp: Exp,
    pub additional_exps: Vec<Exp>,
}

Fields

loc: Loc

kind: ConditionKind

properties: PropertyBag

exp: Exp

additional_exps: Vec<Exp>

Implementations

impl Condition

pub fn all_exps(&self) -> impl Iterator<Item = &Exp>

Return all expressions in the condition, the primary one and the additional ones.

Trait Implementations

impl Clone for Condition

fn clone(&self) -> Condition

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Condition

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

Formats the value using the given formatter.