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

Information about a location. More...

#include <system.h>

Public Member Functions

std::string toString () const
 

Public Attributes

symbol_t uid
 The symbol of the location. More...
 
expression_t invariant
 The invariant. More...
 
expression_t exponentialRate
 
expression_t costRate
 Rate expression. More...
 
int32_t locNr
 Location number in template. More...
 

Detailed Description

Information about a location.

The symbol's user data points to this structure, i.e. s.uid.getData() is a pointer to s. Notice that the rate list is generated by the type checker; until then the rate expressions are part of the invariant.

Member Function Documentation

string state_t::toString ( ) const

Member Data Documentation

expression_t UTAP::state_t::costRate

Rate expression.

Referenced by UTAP::TypeChecker::visitState().

expression_t UTAP::state_t::exponentialRate
expression_t UTAP::state_t::invariant
int32_t UTAP::state_t::locNr
symbol_t UTAP::state_t::uid

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