elmt.hpp
Go to the documentation of this file.
1 
12 #ifndef _ELMT_H_
13 #define _ELMT_H_
14 
15 #include <gmp.h>
16 #include <gmpxx.h>
17 #include "../../verifierutils/verifierutils.hpp"
18 
19 
20 
21 namespace arithm {
22 
23 // forward declaration
24 class Group;
25 
29 class Elmt
30 {
31 private:
35  mpz_class value;
36 
41 public:
48  Elmt(mpz_class v, Group * grp);
49 
56  Elmt(verifierUtils::ByteTree * bt, Group * grp);
57 
63 
67  mpz_class getValue();
68 
72  Group * getGroup();
73 };
74 
75 } // closing namespace
76 #endif