Struct Invariant 

pub struct Invariant {
    pub name: String,
    pub predicate: Box<dyn Fn(&[f64]) -> bool + Send + Sync>,
}

A named invariant with a predicate over phase-space vectors.

Fields

name: String

Name of the invariant.

predicate: Box<dyn Fn(&[f64]) -> bool + Send + Sync>

Predicate: returns true if the state satisfies the invariant.

Implementations

impl Invariant

pub fn new( name: impl Into<String>, predicate: impl Fn(&[f64]) -> bool + Send + Sync + 'static, ) -> Self

Create a new invariant.

pub fn check(&self, state: &[f64]) -> bool

Evaluate the invariant on a state.

pub fn verify_trajectory(&self, trajectory: &[Vec<f64>]) -> bool

Verify the invariant holds for an entire trajectory.

Trait Implementations

impl Debug for Invariant

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

Formats the value using the given formatter.