Generated on Tue Feb 11 2025 17:33:26 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: