Traits for Boolean negation view. More...
#include <bool-int.hpp>
Public Types | |
typedef BoolView | NegView |
The negated view. | |
Static Public Member Functions | |
static BoolView | neg (NegBoolView x) |
Return negated View. | |
Traits for Boolean negation view.
Definition at line 557 of file bool-int.hpp.
BoolView Gecode::Int::Linear::BoolNegTraits< NegBoolView >::NegView |
The negated view.
Definition at line 560 of file bool-int.hpp.
|
inlinestatic |
Return negated View.
Definition at line 562 of file bool-int.hpp.