AddableReal.java File Reference

import java.io.IOException;
import java.io.ObjectInput;
import java.io.ObjectOutput;

Include dependency graph for AddableReal.java:

Classes
class	frodo2.solutionSpaces.AddableReal
	Class representing a real number. More...
class	frodo2.solutionSpaces.AddableReal.PlusInfinity
	A singleton class representing the real number +infinity. More...
class	frodo2.solutionSpaces.AddableReal.MinInfinity
	A singleton class representing the real number -infinity. More...
class	frodo2.solutionSpaces.AddableReal.AddableRealDelayed
	Class used to make the addition of a large number of reals more efficient. More...

Packages
package	frodo2.solutionSpaces
	This package contains interfaces for various representations of solution spaces.