Inheritance diagram for learnta::ZoneAutomaton:

Collaboration diagram for learnta::ZoneAutomaton:

Public Member Functions
std::optional< TimedWord >	sample () const
	Sample a timed word in this zone automaton. More...

std::optional< TimedWord >	sampleWithMemo ()

void	removeDeadStates ()
	Remove dead states, i.e., unreachable to any of the accepting states.

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

bool	operator== (const Automaton< ZAState > &A) const
	Check the equivalence of two automata.

Public Attributes
std::optional< TimedWord >	sampleMemo

Public Attributes inherited from learnta::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.

Detailed Description

A Zone automaton.

Member Function Documentation

std::optional<TimedWord> learnta::ZoneAutomaton::sample ( ) const

inline

Sample a timed word in this zone automaton.

We use the reconstruction algorithm in [Andre+, NFM'22]

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