#include"Table.h"
#include<iostream>
using namespace std;
Table::Table(set<Term> imp, set<int> min)
{
   implicants = imp;
   minterms = min;
   
   rowsize = min.size();
   colsize = imp.size();
   
   isMarked = new bool* [ colsize ];
   for(int c = 0; c < colsize; c++)
    isMarked[ c ] = new bool[ rowsize ];
   
   int r,c; 
   for(set<Term>::iterator it_imp = imp.begin(), r = 0
                           ;it_imp != imp.end()
                           ;it_imp++, r++)
   {   
      set<int>::iterator it_tg = (*it_imp).termsGrouped.begin();    
      for(set<int>::iterator it_min = min.begin(), c = 0
                             ;it_min != min.end()
                             ;it_min++, c++)
      {
        if(*it_tg == *it_min)
         isMarked[r][c] = true;
        else
         isMarked[r][c] = false;
        
        if(*it_tg <= *it_min)
         it_tg++;
      }
   }
}

void Table::deleteImplicant(int cpos)
{
   implicants.erase( getImplicant(cpos) );
   
   for(int c = cpos+1; c<colsize; c++)
    for(int r = 0; r<rowsize; r++)
     isMarked[ r ][ c-1 ] = isMarked[ r ][ c ];
    
   if( colsize>0 )
    colsize--;
}

void Table::deleteMinterm(int rpos)
{
   minterms.erase( getMinterm(rpos) );
   
   for(int r = rpos+1; r<rowsize; r++)
    for(int c = 0; c<colsize; c++)
     isMarked[ r-1 ][ c ] = isMarked[ r ][ c ];
    
   if( rowsize>0 )
    rowsize--;
}
 
Term Table::getImplicant(int cpos)
{
   set<Term>::iterator it_imp = implicants.begin();
   
   while( cpos>0 )
   {
     it_imp++;
     cpos--;
   }
   
   return *it_imp;
}
     
int Table::getMinterm(int rpos)
{
   set<int>::iterator it_min = minterms.begin();
   
   while( rpos>0 )
   {
     it_min++;
     rpos--;
   }
   
   return *it_min;
}
     
void Table::display()
{
   cout<<"      ";
   for(set<int>::iterator it_min  = minterms.begin()
                         ;it_min != minterms.end() 
                         ;it_min++)
   {
      cout.width(2);
      cout<<*it_min<<" ";
   }
   
   set<Term>::iterator it_imp = implicants.begin();
   for(int r = 0; r<rowsize; r++)
    for(int c = 0; c<colsize; c++)
       if( isMarked[ r ][ c ] )
       {
          cout.width(2);
          cout<<"X"<<" ";
       }
}

Table::~Table()
{
   for(int c = 0; c < colsize; c++)
    delete isMarked[c] ;
   
}