
30 Sep
2001
30 Sep
'01
11:27 a.m.
CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci@sandbox.cs.unipr.it 01/09/30 11:27:04
Modified files: src : Polyhedron.cc
Log message: Modify operator <=: now, it does not modify the two polyhedrons. Added some comments in widening_assign(...). Little changes in comments.
8785
Age (days ago)
8785
Last active (days ago)
0 comments
1 participants
participants (1)
-
Elisa Ricci