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