Main Page | Namespace List | Class Hierarchy | Class List | File List | Namespace Members | Class Members | File Members

UTAP::state_t Struct Reference

Information about a location. More...

#include <system.hh>

List of all members.

Public Attributes

symbol_t uid
 The symbol of the location.

expression_t invariant
 The invariant.

int32_t locNr
 Location number in template.


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.


Member Data Documentation

expression_t UTAP::state_t::invariant
 

The invariant.

int32_t UTAP::state_t::locNr
 

Location number in template.

symbol_t UTAP::state_t::uid
 

The symbol of the location.


The documentation for this struct was generated from the following file:
Generated on Sat May 15 12:33:43 2004 for libutap by doxygen 1.3.7