Drake
drake::symbolic::detail Namespace Reference

Classes

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

Functions

Formula logic_and (const Formula &f1, const Formula &f2)
 Returns f1f2. More...
 

Function Documentation

Formula drake::symbolic::detail::logic_and ( const Formula f1,
const Formula f2 
)
inline

Returns f1f2.

We have it because gcc-4.8 does not have std::logical_and.

Here is the caller graph for this function: