478p3/truthTable.cpp at master · itsthatriver/478p3 · GitHub

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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
#include "truthTable.h"


const char TruthToChar[4] = {'0', '1', '-', '?'};

int TruthTable::setNumVars(unsigned nV)
{
  numVars = nV;
  return 0;
}

int TruthTable::addEntry(const string &newEntry)
{
  if (newEntry.length() != numVars)
  {
    cout << "ERROR in truthTable::addEntry() - new entry has length "
         << newEntry.length() << " vs. numVars = " << numVars << endl;
    return -1;
  }

  vector<truthType> row(newEntry.length());

  for (unsigned i = 0; i < newEntry.length(); ++i)
  {
    switch(newEntry[i])
    {
      case '0': row[i] = ZERO; break;
      case '1': row[i] = ONE;  break;
      case '-': row[i] = DC;   break;
      default:
        cout << "ERROR in truthTable::addEntry() - invalid character "
             << newEntry[i] << endl;
        return -1;
    }
  }
  logic.push_back(row);

  return 0;
}

unsigned TruthTable::getNumEntries()
{
  return logic.size();
}

unsigned TruthTable::getNumVars()
{
  return numVars;
}

int TruthTable::print()
{
  for (unsigned i = 0; i < logic.size(); ++i)
  {
    for (unsigned j = 0; j < logic[i].size(); ++j)
    {
      switch(logic[i][j])
      {
        case ZERO: cout << "0"; break;
        case ONE:  cout << "1"; break;
        case DC:   cout << "-"; break;
        default:
          cout << "ERROR in truthTable::printTable() - invalid character "
               << logic[i][j] << endl;
          return -1;
      }
    }
    cout << " 1" << endl;
  }
  return 0;
}

int TruthTable::clear()
{
  logic.clear();
  return 0;
}

bool TruthTable::NOTNOT()
{
	return (logic[0][0] != 0);
}