Struct PatternAst 

pub struct PatternAst {
    pub name: String,
    pub stages: Vec<StageAst>,
    pub negations: Vec<NegationAst>,
    pub temporals: Vec<TemporalAst>,
    pub metadata: Vec<(String, String)>,
    pub deadline: Option<f64>,
    pub unordered_groups: Vec<Vec<usize>>,
    pub private: bool,
}

A pattern declaration.

Fields

name: String

stages: Vec<StageAst>

negations: Vec<NegationAst>

temporals: Vec<TemporalAst>

metadata: Vec<(String, String)>

deadline: Option<f64>

unordered_groups: Vec<Vec<usize>>

Unordered stage groups (concurrent blocks). Each entry contains the stage indices (into stages) that form a concurrent group.

private: bool

If true, this pattern was declared with private keyword.

Trait Implementations

impl Clone for PatternAst

fn clone(&self) -> PatternAst

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PatternAst

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

Formats the value using the given formatter.