Transition Class Reference

#include <transitions.h>

List of all members.

Public Member Functions
bool	is_continuation (std::string last_state) const
void	remove_unused_predicates ()
	Transition (std::string prev_state, Symbol action, std::string next_state)
Public Attributes
Symbol	action_
std::string	next_state_
std::string	prev_state_
Friends
std::ostream &	operator<< (std::ostream &out, const Transition &s)

---

Detailed Description

Definition at line 10 of file transitions.h.

---

Constructor & Destructor Documentation

Transition::Transition	(	std::string	prev_state,
		Symbol	action,
		std::string	next_state
	)		[inline]

Definition at line 16 of file transitions.h.

---

Member Function Documentation

bool Transition::is_continuation

(

std::string

last_state

)

const [inline]

Definition at line 22 of file transitions.h.

void Transition::remove_unused_predicates

(

)

Definition at line 72 of file transitions.cpp.

---

Friends And Related Function Documentation

std::ostream& operator<<	(	std::ostream &	out,
		const Transition &	s
	)		[friend]

Definition at line 19 of file transitions.cpp.

---

Member Data Documentation

Symbol Transition::action_

Definition at line 14 of file transitions.h.

std::string Transition::next_state_

Definition at line 13 of file transitions.h.

std::string Transition::prev_state_

Definition at line 13 of file transitions.h.

---

The documentation for this class was generated from the following files:

• transitions.h
• transitions.cpp