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...
 
Formula logic_or (const Formula &f1, const Formula &f2)
 Returns f1f2. More...
 

Function Documentation

◆ logic_and()

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

Returns f1f2.

Note that this function returns a Formula while std::logical_and<Formula>{} returns a bool.

◆ logic_or()

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

Returns f1f2.

Note that this function returns a Formula while std::logical_or<Formula>{} returns a bool.