propositional-tableau-solver-rs 0.1.0

Propositional tableau solver for propositional formulas
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

//! Propositional variable.

/// A propositional formula variable.
#[derive(Debug, Clone, Hash, PartialEq, Eq, PartialOrd)]
pub struct Variable {
    name: String,
}

impl Variable {
    /// Construct a new propositional variable from a given `name`.
    pub fn new<S>(name: S) -> Self
    where
        S: Into<String>,
    {
        Self { name: name.into() }
    }

    /// Get the name of the propositional variable.
    pub fn name(&self) -> &str {
        &self.name
    }
}