learnta::ImpreciseClockHandler Class Reference

Relax guards to handle imprecise clock variables. More...

#include <imprecise_clock_handler.hh>

Public Member Functions
void	push (TAState *jumpedState, const RenamingRelation &renamingRelation, const ForwardRegionalElementaryLanguage &targetElementary)
	Add new transition with imprecise clocks.
void	run ()
	Relax the guards if necessary.

Static Public Member Functions
static TATransition::Resets	embedIfImprecise (TATransition::Resets resets, const std::unordered_set< ClockVariables > &preciseClocks, const std::vector< double > &embeddedValuation)

Detailed Description

Relax guards to handle imprecise clock variables.

---

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

• include/imprecise_clock_handler.hh