Generated on Tue Apr 18 10:23:54 2017 for Gecode by doxygen 1.6.3

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 950 of file linear.hh.


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