forked from 3breadt/UPB-ADT-Automata-Tools
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathFSA_Group.hpp
40 lines (34 loc) · 1.02 KB
/
FSA_Group.hpp
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
/**
* @file FSA_Group.hpp
* @brief Contains the definition of the Group class
* used in Moore's minimizing algorithm.
*/
#ifndef FSA_GROUP_HPP_
#define FSA_GROUP_HPP_
#include <iostream>
#include <vector>
#include "FSA_FiniteStateAutomaton.hpp"
#include "FSA_State.hpp"
#include "FSA_GroupElement.hpp"
using namespace std;
/**
* @brief Group class used for Moore's minimizing algorithm.
**/
class Group{
private:
string szName;
FiniteStateAutomaton* fsaAutomata;
vector<string> vecAutomataEdges;
vector<GroupElement*> vecElements;
public:
Group(FiniteStateAutomaton* p_fsaAutomata);
Group(FiniteStateAutomaton* p_fsaAutomata, string p_szName);
void addElementToGroup(GroupElement* p_geElement);
void removeElementFromGroup(GroupElement* p_geElement);
string getName();
void setName(string p_szName);
bool compareElements(GroupElement* p_geElementA, GroupElement* p_geElementB);
vector<GroupElement*>* getElements();
vector<string>* getEdges();
};
#endif /* FSA_GROUP_HPP_ */