Crate weighted_gss 

Persistent weighted graph-structured stacks.

A WeightedGss represents a finite collection of stack alternatives. Each stack carries a Weight, and weights are joined when operations make two alternatives denote the same concrete stack.

Structs

LinearPrefix

Mutable view of a linear top prefix over an unchanged hidden floor.

StackLimitExceeded

Error returned when a bounded operation would materialise too many stacks.

WeightedGss

A persistent collection of weighted stack alternatives.

Traits

Weight

A value associated with a structural stack path.

Functions

for_each_stack_top_first

Visit distinct concrete stacks in top-first order without unbounded expansion.

linear_prefix

Try to expose a mutable linear top prefix over an unchanged hidden floor.

Type Aliases

Gss

An unweighted graph-structured stack.