libutap
Public Types | Public Member Functions | Public Attributes | List of all members
UTAP::chan_priority_t Struct Reference

Channel priority information. More...

#include <system.h>

Public Types

typedef std::pair< char,
expression_t
entry
 
typedef std::list< entrytail_t
 

Public Member Functions

std::string toString () const
 

Public Attributes

expression_t head
 First expression in priority declaration. More...
 
tail_t tail
 Pairs: separator and channel expressions. More...
 

Detailed Description

Channel priority information.

Expressions must evaluate to a channel or an array of channels.

Member Typedef Documentation

typedef std::pair<char,expression_t> UTAP::chan_priority_t::entry

Member Function Documentation

string chan_priority_t::toString ( ) const

Member Data Documentation

expression_t UTAP::chan_priority_t::head

First expression in priority declaration.

Referenced by UTAP::TimedAutomataSystem::beginChanPriority().

tail_t UTAP::chan_priority_t::tail

Pairs: separator and channel expressions.


The documentation for this struct was generated from the following files: