Jonny007-MKD/NB6_Hazards
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Added support for KNF

Browse source
This commit is contained in:
Jonny007-MKD 2013-11-25 07:47:39 +01:00
parent dbc0c8b93d
commit 07b6498834
1 changed files with 13 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

25
Hazard/Hazard/Wertetabelle.cpp
View file

@ -11,6 +11,7 @@ using namespace std;
extern uint dimension; extern uint dimension;
extern uint numElements; extern uint numElements;
extern bool KNF;
void Wertetabelle::Print() void Wertetabelle::Print()
{ {
@ -18,29 +19,29 @@ void Wertetabelle::Print()
for (uint i = 0; i < numElements; i++) for (uint i = 0; i < numElements; i++)
{ {
cout << "| "; // => | cout << "| "; // => |
cout << setfill(' ') << setw(ceil(log10((float)numElements))) << i; // => 4 cout << setfill(' ') << setw((uint)ceil(log10((float)numElements))) << i; // => 4
cout << " |"; // => | cout << " |"; // => |
this->printI(i); // => 0 1 0 0 this->printI(i); // => 0 1 0 0
cout << "| "; // => | cout << "| "; // => |
cout << (*this->cells)[i]->value; // => 1 cout << ((*this->cells)[i]->value ^ KNF); // => 1
cout << " |"; // => | cout << " |"; // => |
this->printPrimImplikanten(i); // => 0 0x1 4 this->printPrimImplikanten(i); // => 0 0x1 4
cout << endl; cout << endl; // ==> | 4 | 0 1 0 0 | 1 | 0 0x1 4
if (i > 0 && i % 15 == 0 && numElements - i > 5) if (i > 0 && i % 15 == 0 && numElements - i > 5) // reprint header so you dont have to scroll
//cout << this->makeHeader() << endl; //cout << this->makeHeader() << endl;
printHeader(); printHeader();
} }
cout << string(this->width, '-'); cout << string(this->width, '-') << endl;
} }
string Wertetabelle::makeHeader() string Wertetabelle::makeHeader()
{ {
bool setPad = padding.size() == 0; bool setPad = padding.size() == 0;
string row2 = "|" + string(ceil(log10((float)numElements)) + 2, ' ') + "|"; string row2 = "|" + string((uint)ceil(log10((float)numElements)) + 2, ' ') + "|";
for (vector<string>::iterator v = variables->begin(); v < variables->end(); v++) for (vector<string>::iterator v = variables->begin(); v < variables->end(); v++)
{ {
row2 += " " + *v; row2 += " " + *v;