Generated on Thu Jul 18 2024 00:00:00 for Gecode by doxygen 1.12.0
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 946 of file linear.hh.


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