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

statepredicate.cs File Reference


Detailed Description

Classes to implement prediates (filters) over process states.

This allows checking (bi)simulation of an abstraction agains only some part of an implementation.

(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)


Namespaces

namespace  CCM


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