Class to execute a timed automaton. More...
#include <timed_automaton_runner.hh>
Inheritance diagram for learnta::TimedAutomatonRunner:
Collaboration diagram for learnta::TimedAutomatonRunner:
Public Member Functions | |
| TimedAutomatonRunner (TimedAutomaton automaton) | |
| void | pre () override |
| Reset the configuration. | |
| void | post () override |
| The function should be called after feeding each timed word. | |
| void | applyReset (const TATransition::Resets &resets) |
| Apply the given reset to the clock valuation. | |
| bool | step (char action) override |
| Feed a discrete action. | |
| bool | step (double duration) override |
| Feed time elapse. | |
| std::size_t | count () const override |
| Returns the number of queries. | |
Static Public Member Functions | |
| static std::vector< double > | applyReset (const std::vector< double > &oldValuation, const TATransition::Resets &resets) |
| Apply the given reset to the clock valuation. | |
Detailed Description
Class to execute a timed automaton.
- Note
- We assume that the given timed automaton is deterministic.
- We support unobservable transitions, but we assume that there is no loop of unobservable transitions
- Invariant
- this->clockValuation.size() == this->automaton.maxConstraints.size();
The documentation for this class was generated from the following file:
- include/timed_automaton_runner.hh
