Class of parity-annotated transitions. More...

#include <Parity.hh>

Inheritance diagram for ParityTransition:

Collaboration diagram for ParityTransition:

Public Member Functions
	ParityTransition (State d, BDD l, Priority p)

	ParityTransition (State d, BDD l)

bool	operator== (ParityTransition const &right) const
	Checks whether two transitions have the same endpoints, label, and priority.

bool	operator< (ParityTransition const &right) const
	Comparison function used to store transitions in ordered containers.

Priority	getPriority (void) const

Public Member Functions inherited from BaseTransition
	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

Friends
class	Parity

std::ostream &	operator<< (std::ostream &os, ParityTransition const &p)
	Overloads stream insertion operator.

Additional Inherited Members
Protected Attributes inherited from BaseTransition
State	destination

BDD	label

Detailed Description

Class of parity-annotated transitions.

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

Public Member Functions