A traits struct that describes the return type of predicates over a scalar type (named T
).
For example, a predicate that evaluates double
s will return a bool
, but a predicate that evaluates symbolic::Expression will return a symbolic::Formula. By default, the return type is inferred from the type's comparison operator, but scalar types are permitted to specialize this template for their needs.
#include <drake/common/drake_bool.h>
Public Types | |
using | type = decltype(T()< T()) |
The return type of predicates over T. More... | |
Static Public Attributes | |
static constexpr bool | is_bool = std::is_same_v<type, bool> |
Whether type is bool . More... | |
using type = decltype(T() < T()) |
The return type of predicates over T.
|
static |
Whether type
is bool
.