Generated on Tue Sep 25 2012 20:53:31 for Gecode by doxygen 1.7.5
Gecode::Int::Linear::BoolNegTraits Class Reference

Traits for Boolean negation view. More...

#include <linear.hh>


Detailed Description

Traits for Boolean negation view.


The documentation for this class was generated from the following file: