Polymake Template Library (PTL)
4.2
|
Public Types | |
typedef std::conditional< value, First, void >::type | positive |
elements from First matching the predicate | |
typedef std::conditional< value, void, First >::type | negative |
complement | |
typedef std::conditional< value, Second, void >::type | positive2 |
Second if there is at least one matching pair. | |
typedef std::conditional< value, void, Second >::type | negative2 |
complement | |
Static Public Attributes | |
static const bool | value =Predicate<First,Second>::value |
whether at least one pair found | |
static const int | pos = value ? 0 : -1 |
where it was found | |
More powerful than list_search: find all pairs from $First$ and $Second$ (both may be lists or scalars.)