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...

---