leda_real.h File Reference

Classes
class	leda_real
	The class leda_real is a wrapper class that provides the functions needed to use the number type real, representing exact real numbers numbers provided by LEDA. More...