dve_transition.hh File Reference

Go to the source code of this file.

Classes

class  dve_transition_t
 Class representing a transition. More...

Enumerations

enum  sync_mode_t {
  SYNC_NO_SYNC = 0, SYNC_EXCLAIM = 1, SYNC_ASK = 2, SYNC_EXCLAIM_BUFFER = 3,
  SYNC_ASK_BUFFER = 4
}
 Synchronization mode of a transition. More...

Variables

const size_int_t TR_effects_alloc_step = 20
const size_int_t TR_effects_default_alloc = 10


Detailed Description

The main contribution of this file is the class dve_transition_t.

Enumeration Type Documentation

Synchronization mode of a transition.

Enumerator:
SYNC_NO_SYNC  transition is not synchronized
SYNC_EXCLAIM  transition is synchronized and sends a value to another process
SYNC_ASK  transition is synchronized and receives a value from another process
SYNC_EXCLAIM_BUFFER  transition is asynchronous and a message is stored into a buffer
SYNC_ASK_BUFFER  transition is asynchronous and a message is taken from a buffer


Variable Documentation

const size_int_t TR_effects_alloc_step = 20

Allocation step of array_t used in an implementation of dve_transition_t

  • quite internal thing

const size_int_t TR_effects_default_alloc = 10

Default allocation size of array_t used in an implementation of dve_transition_t - quite internal thing


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