Go to the source code of this file.
Classes | |
class | explicit_system_t |
class | succ_container_t |
Class determined to store successors of some state. More... | |
Functions | |
bool | succs_deadlock (const int succs_result) |
Returns, whether return value of get_succs() comprises SUCC_DEADLOCK. | |
bool | succs_error (const int succs_result) |
Returns, whether return value of get_succs() comprises SUCC_ERROR. | |
bool | succs_normal (const int succs_result) |
Returns, whether get_succs() method has returned SUCC_NORMAL. | |
Variables | |
const int | SUCC_DEADLOCK = 2 |
const int | SUCC_ERROR = 1 |
const int | SUCC_NORMAL = 0 |
bool succs_deadlock | ( | const int | succs_result | ) | [inline] |
Returns, whether return value of get_succs() comprises SUCC_DEADLOCK.
succs_result | = return value of get_succs() method |
References SUCC_DEADLOCK.
bool succs_error | ( | const int | succs_result | ) | [inline] |
Returns, whether return value of get_succs() comprises SUCC_ERROR.
succs_result | = return value of get_succs() method |
References SUCC_ERROR.
bool succs_normal | ( | const int | succs_result | ) | [inline] |
Returns, whether get_succs() method has returned SUCC_NORMAL.
succs_result | = return value of get_succs() method |
References SUCC_NORMAL.
const int SUCC_DEADLOCK = 2 |
Constant that is a possible return value of get_succs() functions. See Results of methods for creating successors for deatails
Referenced by dve_explicit_system_t::get_async_enabled_trans(), bymoc_explicit_system_t::get_succs(), dve_explicit_system_t::get_sync_succs_internal(), and succs_deadlock().
const int SUCC_ERROR = 1 |
Constant that is a possible return value of get_succs() functions. See Results of methods for creating successors for deatails
Referenced by por_t::generate_ample_sets(), por_t::generate_composed_ample_sets(), dve_explicit_system_t::get_async_enabled_trans(), dve_explicit_system_t::get_async_succs_internal(), dve_explicit_system_t::get_ith_succ(), dve_explicit_system_t::get_sync_succs_internal(), and succs_error().
const int SUCC_NORMAL = 0 |
Constant that is a possible return value of get_succs() functions. See Results of methods for creating successors for deatails
Referenced by dve_explicit_system_t::get_async_enabled_trans(), dve_explicit_system_t::get_sync_succs_internal(), and succs_normal().