Generated on Mon Sep 17 2012 22:20:59 for Gecode by doxygen 1.8.1.1
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: