2013-11-28 16:08:16 +01:00
|
|
|
//#include <iostream>
|
2013-11-08 16:52:17 +01:00
|
|
|
#include <string>
|
|
|
|
#include <vector>
|
2013-11-28 16:08:16 +01:00
|
|
|
#include "PrimImplikant.h"
|
2013-11-08 16:52:17 +01:00
|
|
|
|
|
|
|
using namespace std;
|
|
|
|
|
2013-11-28 16:08:16 +01:00
|
|
|
#ifndef PRIMIMPLIKANTCOLLEC
|
|
|
|
#define PRIMIMPLIKANTCOLLEC
|
|
|
|
|
2013-11-08 16:52:17 +01:00
|
|
|
class PrimImplikantCollection{
|
|
|
|
public:
|
2013-11-28 16:08:16 +01:00
|
|
|
void add(PrimImplikant* &PI);
|
|
|
|
void add(string input);
|
|
|
|
void add(uint input);
|
|
|
|
void add(uint input1, uint input2);
|
|
|
|
|
|
|
|
bool valueAt(uint position);
|
|
|
|
PrimImplikantCollection primImplikantenAt(uint position);
|
|
|
|
bool contains(PrimImplikant* foreign);
|
2013-11-08 16:52:17 +01:00
|
|
|
|
2013-11-28 16:08:16 +01:00
|
|
|
void Dispose();
|
2013-11-08 16:52:17 +01:00
|
|
|
|
2013-11-28 16:08:16 +01:00
|
|
|
uint size();
|
|
|
|
PrimImplikant* back();
|
|
|
|
PrimImplikant* front();
|
|
|
|
PrimImplikant* at(uint &index);
|
|
|
|
PrimImplikant* operator[](uint &index);
|
2013-11-08 16:52:17 +01:00
|
|
|
private:
|
2013-11-28 16:08:16 +01:00
|
|
|
vector<PrimImplikant*> PIVector;
|
|
|
|
};
|
2013-11-08 16:52:17 +01:00
|
|
|
|
|
|
|
#endif
|