Gael Guennebaud 9df04bcede Rename isFinite to hasNonFinite to avoid future naming collisions.
(transplanted from 6fab4012a36ebbc307ef29b7a7d1a9cb606fa67d
)
2013-07-17 21:13:45 +02:00
..
2013-07-17 10:00:36 +02:00
2010-07-23 19:00:02 +02:00
2011-02-22 09:31:22 -05:00
2013-07-02 14:08:12 +01:00
2013-05-29 10:15:40 +02:00
2013-05-29 10:15:40 +02:00