BaseTransition Class Reference

Base class for the labeled edges of the transition graph. More...

#include <LTS.hh>

Inheritance diagram for BaseTransition:

Public Member Functions
	BaseTransition (State d, BDD l)
bool	operator== (BaseTransition const &) const =delete
	Checks whether two transitions have the same endpoints and label.
bool	operator< (BaseTransition const &) const =delete
	Comparison function used to store transitions in ordered containers.
State	getDestination (void) const
BDD	getLabel (void) const

Protected Attributes
State	destination
BDD	label

Friends
template<typename T >
class	LTS

Detailed Description

Base class for the labeled edges of the transition graph.

---

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

• LTS/LTS.hh