forked from kraduc/turing-machine-to-fol
-
Notifications
You must be signed in to change notification settings - Fork 0
/
transition.h
39 lines (29 loc) · 967 Bytes
/
transition.h
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
#ifndef TRANSITION_H
#define TRANSITION_H
#include<iostream>
class Transition {
public:
// Constructor
Transition(int i, const std::string& f, const std::string& t, char o, char n, char d): \
id(i), from_state(f), to_state(t), old_char(o), new_char(n),\
direction(d) {}
// Getters
int get_id() const { return id; }
const std::string& get_from_state() const { return from_state; }
const std::string& get_to_state() const { return to_state; }
char get_old_char() const { return old_char; }
char get_new_char() const { return new_char; }
char get_direction() const { return direction; }
bool write() const { return old_char != new_char; }
private:
int id;
std::string from_state;
std::string to_state;
char old_char;
char new_char;
char direction;
};
std::string int_to_successor(int num);
std::string transition_to_fol(const Transition& tr_data);
std::string zero_transition_to_fol(const Transition& tr_data);
#endif