Struct Not 

pub struct Not<F> { /* private fields */ }

First-order operator that inverts its subformula, written !, or not.

The Not operator is a unary operator, which means that it operates on a single subformula. This operator evaluates a given trace using its subformula, then for each time in the resulting trace negates the state. For floating point numbers, this would look as follows:

time	subformula	not
0.0	1.0	-1.0
1.0	3.0	-3.0
1.0	-2.0	2.0

The following is an example of creating a formula using the not operator:

use banquo::predicate;
use banquo::operators::Not;

let subformula = predicate!{ x * 1.0 <= 1.0 };
let formula = Not::new(subformula);

Implementations

impl<F> Not<F>

pub fn new(subformula: F) -> Self

Trait Implementations

impl<F: Clone> Clone for Not<F>

fn clone(&self) -> Not<F>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: Debug> Debug for Not<F>

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

Formats the value using the given formatter.

impl<T, F, M> Formula<T> for Not<F>

where F: Formula<T, Metric = M>, M: Neg<Output = M>,

type Metric = M

The output metric from this formula

type Error = <F as Formula<T>>::Error

The type of error that may be produced during evaluation

fn evaluate(&self, trace: &Trace<T>) -> Result<Trace<Self::Metric>, Self::Error>

Evaluate a given trace of system states into either a trace of metric values or an error.

impl<F: PartialEq> PartialEq for Not<F>

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