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)
Generated on Mon Jun 21 01:20:49 2004 for cs2ccmb by
1.3.7