learnta::ExternalTransitionMaker Class Reference

A class to make a transition from P to ext(P) More...

#include <external_transition_maker.hh>

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

Static Public Member Functions
static std::vector< double >	toValuation (TimedCondition condition)
	Construct a reset to a value in the timed condition. More...
static auto	inactiveClockVariables (const RenamingRelation &renamingRelation, const TimedCondition &targetCondition)
	Return the inactive clock variables after the transition.

Detailed Description

A class to make a transition from P to ext(P)

Todo:

We need a refactoring once it works

Member Function Documentation

add()

void learnta::ExternalTransitionMaker::add ( const std::shared_ptr< TAState > &  targetState, const RenamingRelation &  renamingRelation, const TimedCondition &  sourceCondition, const TimedCondition &  targetCondition  )

inline

Add a transition to targetState.

The transition corresponds to a morphism \((u, \Lambda, u', \Lambda', R)\), where

• \(\Lambda\) is sourceCondition,
• \(\Lambda'\) is targetCondition, and
• \(R\) is renamingRelation.

toValuation()

static std::vector<double> learnta::ExternalTransitionMaker::toValuation ( TimedCondition  condition )

inlinestatic

Construct a reset to a value in the timed condition.

Precondition

condition is simple

---

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

• include/external_transition_maker.hh