Skip to main content

liminal_protocol/algebra/
mod.rs

1//! Pure bounded-retention and floor-transition algebra.
2
3mod capacity;
4#[cfg(test)]
5mod capacity_tests;
6mod floor;
7#[cfg(test)]
8mod floor_tests;
9mod types;
10
11pub use capacity::{
12    mandatory_capacity, no_edge_legal, recovery_transfer, retained_baseline, zero_debt_admission,
13    zero_debt_capacity_failure,
14};
15pub use floor::floor_transition;
16pub use types::{
17    BaselineError, FloorComputation, MandatoryCapacity, RecoveryTransfer, RecoveryTransferError,
18    ResourceDimension, ResourceVector, WideResourceVector,
19};