rstm-actors 0.1.0

This crate focuses on building concrete implementations for Turing Machines.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47

/*
    Appellation: engine <module>
    Created At: 2025.09.03:21:12:32
    Contrib: @FL03
*/
//! The [`engine`](self) module provides core

#[cfg(feature = "alloc")]
#[doc(inline)]
pub use self::turing_engine::TuringEngine;

#[cfg(feature = "alloc")]
pub mod turing_engine;

pub(crate) mod prelude {
    #[doc(inline)]
    #[cfg(feature = "alloc")]
    pub use super::turing_engine::*;
    #[doc(inline)]
    pub use super::{Engine, RawEngine};
}

use crate::traits::RawActor;

use rstm_programs::Program;
use rstm_state::RawState;

/// The [`RawEngine`] trait defines the basis for compatible engines within the system.
pub trait RawEngine<Q, A>
where
    Q: RawState,
{
    type Driver: RawActor;

    private!();
}

/// An [`Engine`] is responsible for processing input according to some set of pre-defined
/// rules using the configured driver.
pub trait Engine<Q, S>: RawEngine<Q, S>
where
    Q: RawState,
{
    fn load(&mut self, program: Program<Q, S>);

    fn run(&mut self) -> crate::Result<()>;
}