Enum StatePredicate 

pub enum StatePredicate {
    Compare {
        term: Term,
        op: CompareOp,
        value: f64,
    },
    Finite(Term),
    Flag(ContextFlag),
    Not(Box<StatePredicate>),
}

An atomic state predicate.

Variants

Compare

term op number

Fields

term: Term

Left-hand term read from the state.

op: CompareOp

Comparison operator.

value: f64

Right-hand constant.

Finite(Term)

finite(term)

Flag(ContextFlag)

A boolean privacy-context flag.

Not(Box<StatePredicate>)

Logical negation.

Implementations

impl StatePredicate

pub fn parse(specification: &str) -> Result<Self>

Parse a specification string into an invariant predicate.

Returns OptimError::UnsupportedOperation for syntactically valid temporal logic this checker cannot decide, and OptimError::InvalidParameter for text that is not a specification at all.

pub fn evaluate<T: Float + Debug + Send + Sync + 'static>( &self, state: &SystemState<T>, ) -> Result<bool>

Evaluate the predicate in a state.

Trait Implementations

impl Clone for StatePredicate

fn clone(&self) -> StatePredicate

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StatePredicate

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

Formats the value using the given formatter.

impl PartialEq for StatePredicate

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for StatePredicate