Inheritance diagram for ZoneAutomaton:

Collaboration diagram for ZoneAutomaton:

Public Member Functions
void	removeDeadStates ()
	remove states unreachable to any accepting states

void	updateInitAccepting (const std::vector< std::shared_ptr< TAState >> taInitialStates)
	Propagate accepting states from the original timed automaton. More...

bool	empty () const
	emptiness check of the language

Public Member Functions inherited from Automaton< ZAState >
std::size_t	stateSize () const
	Returns the number of the states.

bool	operator== (const Automaton< ZAState > A) const

Additional Inherited Members
Public Attributes inherited from Automaton< ZAState >
std::vector< std::shared_ptr< ZAState > >	states
	The states of this automaton.

std::vector< std::shared_ptr< ZAState > >	initialStates
	The initial states of this automaton.

Member Function Documentation

◆ updateInitAccepting()

void ZoneAutomaton::updateInitAccepting ( const std::vector< std::shared_ptr< TAState >> taInitialStates )

inline

Propagate accepting states from the original timed automaton.

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