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.
typedef BoolView Gecode::Int::Linear::BoolNegTraits< NegBoolView >::NegView |
The negated view.
Definition at line 543 of file bool-int.hpp.
static BoolView Gecode::Int::Linear::BoolNegTraits< NegBoolView >::neg | ( | NegBoolView | x | ) | [inline, static] |
Return negated View.
Definition at line 545 of file bool-int.hpp.