Struct CoalgebraMap 

pub struct CoalgebraMap<S: Clone + Eq, O: Clone + Eq> { /* private fields */ }

A coalgebra map S → O × S represented as an explicit transition table.

Each entry (src, obs, dst) means: when in state src, emit observation obs and move to state dst.

Implementations

impl<S: Clone + Eq, O: Clone + Eq> CoalgebraMap<S, O>

pub fn new() -> Self

Create an empty coalgebra map.

pub fn add_transition(&mut self, src: S, obs: O, dst: S)

Add a transition src --obs--> dst.

pub fn transitions_from(&self, state: &S) -> Vec<(&O, &S)>

Return all transitions out of state.

Trait Implementations

impl<S: Clone + Clone + Eq, O: Clone + Clone + Eq> Clone for CoalgebraMap<S, O>

fn clone(&self) -> CoalgebraMap<S, O>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<S: Debug + Clone + Eq, O: Debug + Clone + Eq> Debug for CoalgebraMap<S, O>

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

Formats the value using the given formatter.