oxilean_std/proof_mining/searchstrategy_traits.rs
1//! # SearchStrategy - Trait Implementations
2//!
3//! This module contains trait implementations for `SearchStrategy`.
4//!
5//! ## Implemented Traits
6//!
7//! - `Display`
8//!
9//! 🤖 Generated with [SplitRS](https://github.com/cool-japan/splitrs)
10
11use super::types::SearchStrategy;
12use std::fmt;
13
14impl std::fmt::Display for SearchStrategy {
15 fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
16 match self {
17 SearchStrategy::DFS => write!(f, "DFS"),
18 SearchStrategy::BFS => write!(f, "BFS"),
19 SearchStrategy::AStar => write!(f, "A*"),
20 SearchStrategy::IDDFS => write!(f, "IDDFS"),
21 SearchStrategy::MCTS => write!(f, "MCTS"),
22 }
23 }
24}