Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / lib / GMLMIP-0.1 / formulas / satisfyingassignment.h @ 7c4d2eb4

History | View | Annotate | Download (572 Bytes)

1
#ifndef SATISFYINGASSIGNMENT_H
2
#define SATISFYINGASSIGNMENT_H
3

    
4
#include <iostream>
5

    
6
using namespace std;
7

    
8
class SatisfyingAssignment {
9
        private:
10
                int size;
11
                char* array;
12
        public:
13
                SatisfyingAssignment(){ size = 0; array = NULL; };
14
                SatisfyingAssignment(int _size, char* _array);
15
                SatisfyingAssignment(const SatisfyingAssignment& a);
16
                SatisfyingAssignment& operator=(const SatisfyingAssignment& a);
17
                ~SatisfyingAssignment();
18
                
19
                bool operator==(const SatisfyingAssignment& other) const;
20
                        
21
                
22
                int get_size(){ return size;};
23
                char get_array_i(int i);
24
};
25

    
26
#endif