main page modules namespaces classes files
Gecode/J home

JavaBranchingDesc.java File Reference

Go to the source code of this file.

Namespaces
namespace	org.gecode
Classes
class	org.gecode.JavaBranchingDesc
	Description of a branching to be used for batch recomputation. More...