Struct InvariantLibrary 

pub struct InvariantLibrary {
    pub categories: BTreeMap<String, Vec<Invariant>>,
}

A collection of invariants organized by category.

Fields

categories: BTreeMap<String, Vec<Invariant>>

Invariants by category.

Implementations

impl InvariantLibrary

pub fn new() -> Self

Create a new empty library.

pub fn with_defaults(chain: &str) -> Self

Create a library with default built-in invariants for a chain.

pub fn add(&mut self, category: String, invariant: Invariant)

Add an invariant to the library.

pub fn get_category(&self, category: &str) -> Option<&[Invariant]>

Get all invariants in a category.

pub fn all(&self) -> Vec<&Invariant>

Get all invariants.

pub fn count(&self) -> usize

Count total invariants.

Trait Implementations

impl Default for InvariantLibrary

fn default() -> Self

Returns the “default value” for a type.