#include <drake/common/symbolic/expression/formula.h>
Public Member Functions | |
bool | operator() (const drake::symbolic::Formula &lhs, const drake::symbolic::Formula &rhs) const |
bool operator() | ( | const drake::symbolic::Formula & | lhs, |
const drake::symbolic::Formula & | rhs | ||
) | const |