-
Notifications
You must be signed in to change notification settings - Fork 2
/
PBConfig.cpp
41 lines (31 loc) · 1.48 KB
/
PBConfig.cpp
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
30
31
32
33
34
35
36
37
38
39
#include "PBConfig.h"
#include <iostream>
using namespace std;
void statistic::printStatistic()
{
cout << "c PBLib statistic" << endl;
cout << "c amo: " << num_amo << " amk: " << num_amk << " pb: " << num_pb
<< " clause: " << num_clause << " trivial: " << num_trivial << endl;
// cout << "c encodings: " << endl;
// cout << "c amo: " << num_amo_encodings << " card: " << num_card_encodings << " bdd: " << num_bdd_clause_encodings + num_bdd_gates_encodings
// << " adder: " << num_adder_encodings << endl;
}
void statistic::printStatisticRelative()
{
double sum = (num_amo + num_amk + num_pb + num_clause + num_trivial) / 100;
double sum_encodings = (num_adder_encodings + num_amo_encodings + num_bdd_clause_encodings + num_bdd_gates_encodings + num_card_encodings) / 100;
cout << "c PBLib statistic" << endl;
cout.precision(2);
cout << "c amo: " << (double)num_amo / sum<< " amk: " << (double)num_amk / sum << " pb: " << (double)num_pb / sum
<< " clause: " << (double)num_clause / sum << " trivial: " << (double)num_trivial / sum << endl;
// cout << "c encodings: " << endl;
// cout << "c amo: " << (double)num_amo_encodings / sum_encodings << " card: " << (double)num_card_encodings / sum_encodings
// << " bdd: " << ((double)num_bdd_clause_encodings + (double)num_bdd_gates_encodings) / sum_encodings
// << " adder: " << (double)num_adder_encodings / sum_encodings << endl;
}
PBConfigClass::PBConfigClass()
{
}
PBConfigClass::~PBConfigClass()
{
}