#include <model.h>
|
capd::C0Rect2Set | compute (const Time &duration, const System &system, const capd::C0Rect2Set &initCondition, const Settings &settings) const |
| get the target state set for the duration More...
|
|
◆ Model() [1/2]
template<typename Analyser>
◆ Model() [2/2]
template<typename Analyser>
constructor with given id, flows and invariant conditions
- Parameters
-
id | identifier of the mode |
flows | continuous dynamics of the mode |
invariantCondition | invariant condition of the mode |
◆ ~Model()
template<typename Analyser>
◆ compute()
template<typename Analyser>
get the target state set for the duration
- Parameters
-
duration | given duration which specify the time interval |
system | continuous dynamics of the mode |
initCondition | initial condition of the computation |
settings | settings of the computation |
- Returns
- resulting target reachable state set for the duration
Implements irafhy::Analyser.
◆ flows()
template<typename Analyser>
get continuous dynamics of the mode
- Returns
- the continuous dynamics of the mode
◆ getModel()
template<typename Analyser>
get the shared pointer to the mode
- Returns
- pointer to the mode
◆ id()
template<typename Analyser>
get the identifier of the mode
- Returns
- identifier of the mode as a string
◆ invariantCondition()
template<typename Analyser>
get the invariant condition of the mode
- Returns
- the invariant condition of the mode
◆ jumps()
template<typename Analyser>
get the jumps which start from the mode
- Returns
- jumps which start from the mode
◆ operator<()
template<typename Analyser>
relational operator used for remove redundant modes
- Parameters
-
- Returns
- TRUE if the current mode's id is less than the right hand side's in dictionary order
◆ setJump()
template<typename Analyser>
add the given jump to the existing jump
- Parameters
-
◆ simulate()
template<typename Analyser>
get the reachable condition of the mode for given duration
- Parameters
-
duration | given duration |
doneJumps | already done jumps |
initCondition | initial condition of the simulation |
settings | settings of the simulation |
nextState | next State once current duration simulation done |
- Returns
- reachable condition of the mode
◆ flows_
template<typename Analyser>
ordinary differential equations which specify the continuous dynamics of the state
◆ id_
template<typename Analyser>
identifier of the current mode
◆ invariantCondition_
template<typename Analyser>
invariant condition of the current mode
◆ jumps_
template<typename Analyser>
jumps start from the current mode
The documentation for this class was generated from the following file:
- /home/jianqiang/CLionProjects/irafhy/include/irafhy/representation/formal/hybridAutomaton/locations/model/model.h