Skip to main content

weighted_gss/
lib.rs

1//! Persistent weighted graph-structured stacks.
2//!
3//! A [`WeightedGss`] represents a finite collection of stack alternatives. Each
4//! stack carries a [`Weight`], and weights are joined when operations make two
5//! alternatives denote the same concrete stack.
6
7#![forbid(unsafe_code)]
8#![deny(missing_docs)]
9
10mod gss;
11mod linear_prefix;
12mod materialize;
13mod nodes;
14mod segment;
15mod stack_visit;
16mod weight;
17mod weight_regions;
18
19#[cfg(feature = "python")]
20mod python;
21
22pub use gss::{Gss, WeightedGss};
23pub use linear_prefix::{LinearPrefix, linear_prefix};
24pub use stack_visit::{StackLimitExceeded, for_each_stack_top_first};
25pub use weight::Weight;