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