small fix for padding

This commit is contained in:
Jonny007-MKD 2013-11-21 21:34:37 +01:00
parent 9d79f2dc27
commit a8cdc4b241
2 changed files with 2 additions and 4 deletions

View file

@ -35,15 +35,13 @@ void Wertetabelle::Print()
string Wertetabelle::makeHeader() string Wertetabelle::makeHeader()
{ {
bool setPad = padding.size() == 0; bool setPad = padding.size() == 0;
if (setPad)
padding.resize(dimension);
string row2 = "|"; string row2 = "|";
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;
if (setPad) if (setPad)
padding.push_back(((*v).size()-1) / 2.0f); padding.push_back((v->size()-1) / 2.0f);
} }
row2 += " | y |"; row2 += " | y |";

View file

@ -1,4 +1,4 @@
Variables: a, b, c, d Variables: a, bar, char, d
Terms: Terms:
"0010">1 "0010">1
7>1 7>1