Drake
RelationalOpTraits< DerivedA, DerivedB, typename > Struct Template Reference

Provides a return type of relational operations (=, ≠, ≤, <, ≥, >) between Eigen::Arrays. More...

#include <common/symbolic_formula.h>

Public Types

using ReturnType = Eigen::Array< Formula, EigenSizeMinPreferFixed< DerivedA::RowsAtCompileTime, DerivedB::RowsAtCompileTime >::value, EigenSizeMinPreferFixed< DerivedA::ColsAtCompileTime, DerivedB::ColsAtCompileTime >::value >
 

Detailed Description

template<typename DerivedA, typename DerivedB, typename = std::enable_if< std::is_same<typename Eigen::internal::traits<DerivedA>::XprKind, Eigen::ArrayXpr>::value && std::is_same<typename Eigen::internal::traits<DerivedB>::XprKind, Eigen::ArrayXpr>::value && std::is_same<decltype(typename DerivedA::Scalar() == typename DerivedB::Scalar()), Formula>::value>>
struct drake::symbolic::detail::RelationalOpTraits< DerivedA, DerivedB, typename >

Provides a return type of relational operations (=, ≠, ≤, <, ≥, >) between Eigen::Arrays.

Template Parameters
DerivedAA derived type of Eigen::ArrayBase.
DerivedBA derived type of Eigen::ArrayBase.
Precondition
The type of (DerivedA::Scalar() == DerivedB::Scalar()) is symbolic formula.

Member Typedef Documentation

using ReturnType = Eigen::Array<Formula, EigenSizeMinPreferFixed<DerivedA::RowsAtCompileTime, DerivedB::RowsAtCompileTime>::value, EigenSizeMinPreferFixed<DerivedA::ColsAtCompileTime, DerivedB::ColsAtCompileTime>::value>

The documentation for this struct was generated from the following file: