Struct ELTLSpecification 

pub struct ELTLSpecification {
    expressions: Vec<ELTLProperty>,
}

A collection of ELTLProperty that in conjunction describe correct behavior

An ELTLSpecification is a collection of ELTLPropertys (i.e., collection of named ELTLExpressions) that describe the desired behavior of a threshold automaton. If threshold automaton fulfills all of the properties, it can be considered safe with respect to the specification

Fields

expressions: Vec<ELTLProperty>

Expressions and their associated names

Implementations

impl ELTLSpecification

pub fn expressions(&self) -> &[ELTLProperty]

Get a slice of the contained ELTLPropertys

Trait Implementations

impl Clone for ELTLSpecification

fn clone(&self) -> ELTLSpecification

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ELTLSpecification

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

Formats the value using the given formatter.

impl Display for ELTLSpecification

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

Formats the value using the given formatter.

impl IntoIterator for ELTLSpecification

type Item = (String, ELTLExpression)

The type of the elements being iterated over.

type IntoIter = IntoIter<<ELTLSpecification as IntoIterator>::Item>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl PartialEq for ELTLSpecification

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