1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

use std::fmt::Debug;

use notation::clauses::Clause;

pub struct Problem {
    clauses: Vec<Clause>,
    num_clauses: u32,
    num_variables: u32,
}

impl Problem {
    pub fn new(clauses: Vec<Clause>, num_clauses: u32, num_variables: u32) -> Problem {
        Problem {
            clauses: clauses,
            num_clauses: num_clauses,
            num_variables: num_variables,
        }
    }
}

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