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

eqrel.cs File Reference


Detailed Description

Classes to deal with abstraction: value range, equivalence relation, strate and transition abstraction relation.

(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