learnta::InternalTransitionMaker Class Reference

A class to make a transition from P to P. More...

#include <internal_transition_maker.hh>

Public Member Functions
void	add (const std::shared_ptr< TAState > &targetState, const TimedCondition &sourceCondition)
	Add a transition to targetState. More...
std::vector< TATransition >	make () const
	Generate transitions.
bool	empty () const
std::size_t	size () const

Detailed Description

A class to make a transition from P to P.

Member Function Documentation

add()

void learnta::InternalTransitionMaker::add ( const std::shared_ptr< TAState > &  targetState, const TimedCondition &  sourceCondition  )

inline

Add a transition to targetState.

The transition is from \((u, \Lambda)\), where

• \(\Lambda\) is sourceCondition.

---

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

• include/internal_transition_maker.hh