main page modules namespaces classes files
Gecode/J home

FatalException.java File Reference

(Revision: 3650)

Go to the source code of this file.

Namespaces
namespace	org.gecode
Classes
class	org.gecode.FatalException
	General Gecode/J runtime exception. More...