Enum TemporalStrategy 

pub enum TemporalStrategy {
    Max,
    Sum,
    LogSumExp,
}

Strategy for compiling temporal logic operators (Next X, Eventually F, Always G).

Variants

Max

Max over time (for Eventually, min for Always)

Sum

Sum over time (probabilistic interpretation)

LogSumExp

LogSumExp (smooth max approximation)

Trait Implementations

impl Clone for TemporalStrategy

fn clone(&self) -> TemporalStrategy

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TemporalStrategy

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

Formats the value using the given formatter.

impl PartialEq for TemporalStrategy

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

impl Eq for TemporalStrategy

impl StructuralPartialEq for TemporalStrategy