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

CCMAttributes.cs File Reference


Detailed Description

Defines the attributes that are used in bisimulation verification: Event, Range, Property, Abstracts, Eq.

(C) 2004 Martin Pitt <martin@piware.de>

This software is distributed under the terms and conditions of the GNU General Public License (see file COPYING)


Classes

class  RangeAttribute
 Range attribute. More...

class  EventAttribute
 Event attribute. More...

class  PropertyAttribute
 Property attribute. More...

class  AbstractsAttribute
 Abstracts attribute. More...

class  EqAttribute
 Eq attribute. More...


Generated on Mon Jun 21 01:20:49 2004 for cs2ccmb by doxygen 1.3.7