1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

use std::fmt::Debug;

use notation::literals::Literal;

pub struct Clause {
    literals: Vec<Literal>,
}

impl Clause {
    pub fn new(literals: Vec<Literal>) -> Clause {
        Clause { literals: literals }
    }
}

impl Debug for Clause {
    fn fmt(&self, f: &mut std::fmt::Formatter) -> std::fmt::Result {
        write!(f, "Clause {{ literals: {:?} }}", self.literals)
    }
}