libutap  0.93
Uppaal Timed Automata Parser
Public Types | Public Member Functions | Public Attributes | List of all members
UTAP::chan_priority_t Struct Reference

Channel priority information. More...

#include <system.h>

Collaboration diagram for UTAP::chan_priority_t:
Collaboration graph
[legend]

Public Types

typedef std::pair< char, expression_t > entry
 
typedef std::list< entry > tail_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.

Definition at line 426 of file system.h.

Member Typedef Documentation

◆ entry

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

Definition at line 428 of file system.h.

◆ tail_t

typedef std::list<entry> UTAP::chan_priority_t::tail_t

Definition at line 429 of file system.h.

Member Function Documentation

◆ toString()

string chan_priority_t::toString ( ) const

Definition at line 899 of file system.cpp.

Member Data Documentation

◆ head

expression_t UTAP::chan_priority_t::head

First expression in priority declaration.

Definition at line 431 of file system.h.

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

◆ tail

tail_t UTAP::chan_priority_t::tail

Pairs: separator and channel expressions.

Definition at line 432 of file system.h.

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