Struct ProbSessionScheduler 

pub struct ProbSessionScheduler { /* private fields */ }

A Markov-chain protocol simulator: makes probabilistic choices at each Choice node according to supplied weights.

Implementations

impl ProbSessionScheduler

pub fn new(branches: Vec<ProbBranch>) -> Self

Create a new scheduler with the given branches.

pub fn probabilities(&self) -> Vec<f64>

Normalise the weights to proper probabilities that sum to 1.

pub fn greedy_choice(&self) -> Option<usize>

Sample a branch index deterministically by taking the one with the highest weight (useful for testing without a random source).

pub fn expected_rounds(&self) -> f64

Expected number of rounds: sum of (prob × cost) for each branch, where cost is approximated as 1 for non-End, 0 for End.