explicit_system.hh File Reference

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


Detailed Description

This file contains:

Function Documentation

bool succs_deadlock ( const int  succs_result  )  [inline]

Returns, whether return value of get_succs() comprises SUCC_DEADLOCK.

Parameters:
succs_result = return value of get_succs() method
Returns:
true iff succs_results bitewise contains SUCC_DEADLOCK (succs_results is a bitwise sum of SUCC_NORMAL, SUCC_ERROR and SUCC_DEADLOCK)
See Results of methods for creating successors for details.

References SUCC_DEADLOCK.

bool succs_error ( const int  succs_result  )  [inline]

Returns, whether return value of get_succs() comprises SUCC_ERROR.

Parameters:
succs_result = return value of get_succs() method
Returns:
true iff succs_results bitwise contains SUCC_ERROR (succs_results is a bitwise sum of SUCC_NORMAL, SUCC_ERROR and SUCC_DEADLOCK)
See Results of methods for creating successors for details.

References SUCC_ERROR.

bool succs_normal ( const int  succs_result  )  [inline]

Returns, whether get_succs() method has returned SUCC_NORMAL.

Parameters:
succs_result = return value of get_succs() method
Returns:
true iff succs_results == SUCC_NORMAL
See Results of methods for creating successors for details.

References SUCC_NORMAL.


Variable Documentation

const int SUCC_DEADLOCK = 2

const int SUCC_ERROR = 1

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().


Reference Manual for Library, 2006 developed in ParaDiSe laboratory, Faculty of Informatics, Masaryk University