12
12
//
13
13
// Description :
14
14
// ============================================================================
15
- #include < string>
16
- #include < iostream>
17
15
#include < fstream>
16
+ #include < iostream>
17
+ #include < string>
18
18
19
19
#include " Defs.hpp"
20
20
#include " PrintStyle.hpp"
@@ -28,46 +28,45 @@ using namespace ecf;
28
28
// user 0m2.59s
29
29
// sys 0m0.18s
30
30
31
- int main (int argc, char * argv[])
32
- {
33
- // cout << "argc = " << argc << "\n";
34
- // for(int i = 0; i < argc; i++) {
35
- // cout << "arg " << i << ":" << argv[i] << "\n";
36
- // }
31
+ int main (int argc, char * argv[]) {
32
+ // cout << "argc = " << argc << "\n";
33
+ // for(int i = 0; i < argc; i++) {
34
+ // cout << "arg " << i << ":" << argv[i] << "\n";
35
+ // }
37
36
38
- if (argc != 2 ) {
39
- cout << " Expect single argument which is path to a defs file\n " ;
40
- return 1 ;
41
- }
37
+ if (argc != 2 ) {
38
+ cout << " Expect single argument which is path to a defs file\n " ;
39
+ return 1 ;
40
+ }
42
41
43
- std::string path = argv[1 ];
42
+ std::string path = argv[1 ];
44
43
45
- Defs defs;
46
- std::string errorMsg,warningMsg;
47
- if (!defs.restore (path,errorMsg,warningMsg)) {
48
- cout << errorMsg << " \n " ;
49
- cout << warningMsg << " \n " ;
50
- return 1 ;
51
- }
44
+ Defs defs;
45
+ std::string errorMsg, warningMsg;
46
+ if (!defs.restore (path, errorMsg, warningMsg)) {
47
+ cout << errorMsg << " \n " ;
48
+ cout << warningMsg << " \n " ;
49
+ return 1 ;
50
+ }
52
51
53
- // // Determine average number of variables for nodes with variables
54
- // vector<Node*> nodes;
55
- // defs.getAllNodes(nodes);
56
- // cout << "Total number of nodes: " << nodes.size() << "\n";
57
- // size_t number_of_variables = 0;
58
- // size_t nodes_with_variables = 0;
59
- // for(const auto& n : nodes) {
60
- // // cout << n->variables().size() << "\n";
61
- // if (n->variables().size() > 0) {
62
- // number_of_variables += n->variables().size();
63
- // nodes_with_variables++;
64
- // }
65
- // }
66
- // cout << "number_of_variables " << number_of_variables << "\n";
67
- // cout << "nodes_with_variables " << nodes_with_variables << "\n";
68
- // cout <<"Average number of variables per node " << (double)number_of_variables/nodes_with_variables << "\n";
52
+ // // Determine average number of variables for nodes with variables
53
+ // vector<Node*> nodes;
54
+ // defs.getAllNodes(nodes);
55
+ // cout << "Total number of nodes: " << nodes.size() << "\n";
56
+ // size_t number_of_variables = 0;
57
+ // size_t nodes_with_variables = 0;
58
+ // for(const auto& n : nodes) {
59
+ // // cout << n->variables().size() << "\n";
60
+ // if (n->variables().size() > 0) {
61
+ // number_of_variables += n->variables().size();
62
+ // nodes_with_variables++;
63
+ // }
64
+ // }
65
+ // cout << "number_of_variables " << number_of_variables << "\n";
66
+ // cout << "nodes_with_variables " << nodes_with_variables << "\n";
67
+ // cout <<"Average number of variables per node " << (double)number_of_variables/nodes_with_variables << "\n";
69
68
70
- // PrintStyle style(PrintStyle::MIGRATE);
71
- // cout << defs;
72
- return 0 ;
69
+ // PrintStyle style(PrintStyle::MIGRATE);
70
+ // cout << defs;
71
+ return 0 ;
73
72
}
0 commit comments