raa_tt 0.9.1

Proves sentences of propositional calculus
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14

use crate::proposition::Proposition;
use std::fmt::{Display, Error, Formatter};

#[derive(Clone, Debug, Default, PartialEq, Eq)]
/// Negation struct represents an unary logical negation operation.
pub struct Negation {
    pub inner: Box<Proposition>,
}

impl Display for Negation {
    fn fmt(&self, f: &mut Formatter<'_>) -> std::result::Result<(), Error> {
        write!(f, "!{}", self.inner)
    }
}