Struct TransitionSystem 

pub struct TransitionSystem {
    pub n_states: usize,
    pub successors: Vec<Vec<usize>>,
}

A finite transition system: a coalgebra S → 𝒫(S) for the finite-powerset polynomial functor. successors[s] lists the states reachable from s in one step.

Fields

n_states: usize

successors: Vec<Vec<usize>>

Implementations

impl TransitionSystem

pub fn path(n: usize) -> TransitionSystem

A linear “path” system 0 → 1 → … → n-1 — the shape of a (deterministic) proof trajectory.

Trait Implementations

impl Clone for TransitionSystem

fn clone(&self) -> TransitionSystem

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for TransitionSystem

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.