ipfrs-tensorlogic 0.2.0

Zero-copy tensor operations and logic programming for content-addressed storage
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

//! Markov Decision Process (MDP) solver.
//!
//! Implements tabular MDP solving via Value Iteration, Policy Iteration,
//! and Q-learning with full convergence tracking.
//!
//! # Example
//!
//! ```
//! use ipfrs_tensorlogic::markov_decision_process::{
//!     MarkovDecisionProcess, MdpStateId, MdpActionId, Transition, SolverConfig,
//! };
//!
//! let mut mdp = MarkovDecisionProcess::new(3, 2);
//! mdp.set_terminal(MdpStateId(2), true).expect("example: should succeed in docs");
//! mdp.add_transition(
//!     MdpStateId(0),
//!     MdpActionId(0),
//!     Transition { to_state: MdpStateId(2), probability: 1.0, reward: 1.0 },
//! ).expect("example: should succeed in docs");
//! let config = SolverConfig::default();
//! let (vf, result) = mdp.value_iteration(&config);
//! assert!(result.converged);
//! let _ = vf;
//! ```

pub mod functions;
pub mod mdperror_traits;
pub mod solverconfig_traits;
pub mod types;

// Re-export all types
pub use functions::*;
pub use types::*;

#[cfg(test)]
mod tests;