Gecode::Int::Linear::BoolNegTraits< BV > Class Template Reference
Traits for Boolean negation view. More...
#include <linear.hh>
Detailed Description
template<class BV>
class Gecode::Int::Linear::BoolNegTraits< BV >
Traits for Boolean negation view.
Definition at line 932 of file linear.hh.
The documentation for this class was generated from the following file:
- gecode/int/linear.hh (Revision: 10188)