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