Enum AstVerifyFormula 

pub enum AstVerifyFormula {
    InState {
        state_name: String,
    },
    Not {
        inner: Box<AstVerifyFormula>,
    },
    And {
        left: Box<AstVerifyFormula>,
        right: Box<AstVerifyFormula>,
    },
    Or {
        left: Box<AstVerifyFormula>,
        right: Box<AstVerifyFormula>,
    },
    Implies {
        left: Box<AstVerifyFormula>,
        right: Box<AstVerifyFormula>,
    },
    Always {
        inner: Box<AstVerifyFormula>,
    },
    Eventually {
        inner: Box<AstVerifyFormula>,
    },
    LeadsTo {
        left: Box<AstVerifyFormula>,
        right: Box<AstVerifyFormula>,
    },
    Compare {
        left: Box<AstVerifyFormula>,
        op: String,
        right: Box<AstVerifyFormula>,
    },
    FieldRef {
        path: Vec<String>,
    },
    Literal {
        value: AstLiteralValue,
    },
}

A verify formula — simplified temporal logic expression

Variants

InState

Fields

state_name: String

Not

Fields

inner: Box<AstVerifyFormula>

And

Fields

left: Box<AstVerifyFormula>

right: Box<AstVerifyFormula>

Or

Fields

left: Box<AstVerifyFormula>

right: Box<AstVerifyFormula>

Implies

Fields

left: Box<AstVerifyFormula>

right: Box<AstVerifyFormula>

Always

Fields

inner: Box<AstVerifyFormula>

Eventually

Fields

inner: Box<AstVerifyFormula>

LeadsTo

Fields

left: Box<AstVerifyFormula>

right: Box<AstVerifyFormula>

Compare

Fields

left: Box<AstVerifyFormula>

op: String

right: Box<AstVerifyFormula>

FieldRef

Fields

path: Vec<String>

Literal

Fields

value: AstLiteralValue

Trait Implementations

impl Clone for AstVerifyFormula

fn clone(&self) -> AstVerifyFormula

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AstVerifyFormula

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

Formats the value using the given formatter.

impl PartialEq for AstVerifyFormula

fn eq(&self, other: &AstVerifyFormula) -> 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 StructuralPartialEq for AstVerifyFormula