Skip to main content

oxilean_std/proof_mining/
proofsystem_traits.rs

1//! # ProofSystem - Trait Implementations
2//!
3//! This module contains trait implementations for `ProofSystem`.
4//!
5//! ## Implemented Traits
6//!
7//! - `Display`
8//!
9//! 🤖 Generated with [SplitRS](https://github.com/cool-japan/splitrs)
10
11use super::types::ProofSystem;
12use std::fmt;
13
14impl std::fmt::Display for ProofSystem {
15    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
16        let name = match self {
17            ProofSystem::Resolution => "Resolution",
18            ProofSystem::Frege => "Frege",
19            ProofSystem::ExtendedFrege => "Extended Frege",
20            ProofSystem::HalfFrege => "Half-Frege",
21            ProofSystem::CuttingPlanes => "Cutting Planes",
22            ProofSystem::Nullstellensatz => "Nullstellensatz",
23            ProofSystem::SOS => "Sum-of-Squares",
24            ProofSystem::IPS => "IPS",
25        };
26        write!(f, "{}", name)
27    }
28}