Drake
drake::symbolic::test Namespace Reference

## Functions

bool VarEqual (const Variable &v1, const Variable &v2)

bool VarNotEqual (const Variable &v1, const Variable &v2)

bool VarLess (const Variable &v1, const Variable &v2)

bool VarNotLess (const Variable &v1, const Variable &v2)

bool ExprEqual (const Expression &e1, const Expression &e2)

bool ExprNotEqual (const Expression &e1, const Expression &e2)

bool ExprLess (const Expression &e1, const Expression &e2)

bool ExprNotLess (const Expression &e1, const Expression &e2)

bool PolyEqual (const Polynomial &p1, const Polynomial &p2)

bool PolyNotEqual (const Polynomial &p1, const Polynomial &p2)

template<typename F >
bool all_of (const std::vector< Formula > &formulas, const F &f)

template<typename F >
bool any_of (const std::vector< Formula > &formulas, const F &f)

bool FormulaEqual (const Formula &f1, const Formula &f2)

bool FormulaNotEqual (const Formula &f1, const Formula &f2)

bool FormulaLess (const Formula &f1, const Formula &f2)

bool FormulaNotLess (const Formula &f1, const Formula &f2)

::testing::AssertionResult PolynomialEqual (const symbolic::Polynomial &p1, const symbolic::Polynomial &p2, double tol)
Compare if two polynomials p1 and p2 are the same, by checking if all the coefficients in their difference p1 - p2 is no larger than tol. More...

## Function Documentation

 bool drake::symbolic::test::all_of ( const std::vector< Formula > & formulas, const F & f )
 bool drake::symbolic::test::any_of ( const std::vector< Formula > & formulas, const F & f )
 bool drake::symbolic::test::ExprEqual ( const Expression & e1, const Expression & e2 )
inline

Here is the call graph for this function:

Here is the caller graph for this function:

 bool drake::symbolic::test::ExprLess ( const Expression & e1, const Expression & e2 )
inline

Here is the call graph for this function:

Here is the caller graph for this function:

 bool drake::symbolic::test::ExprNotEqual ( const Expression & e1, const Expression & e2 )
inline

Here is the call graph for this function:

 bool drake::symbolic::test::ExprNotLess ( const Expression & e1, const Expression & e2 )
inline

Here is the call graph for this function:

 bool drake::symbolic::test::FormulaEqual ( const Formula & f1, const Formula & f2 )
inline

Here is the call graph for this function:

Here is the caller graph for this function:

 bool drake::symbolic::test::FormulaLess ( const Formula & f1, const Formula & f2 )
inline

Here is the call graph for this function:

Here is the caller graph for this function:

 bool drake::symbolic::test::FormulaNotEqual ( const Formula & f1, const Formula & f2 )
inline

Here is the call graph for this function:

 bool drake::symbolic::test::FormulaNotLess ( const Formula & f1, const Formula & f2 )
inline

Here is the call graph for this function:

 bool drake::symbolic::test::PolyEqual ( const Polynomial & p1, const Polynomial & p2 )
inline

Here is the call graph for this function:

Here is the caller graph for this function:

 ::testing::AssertionResult drake::symbolic::test::PolynomialEqual ( const symbolic::Polynomial & p1, const symbolic::Polynomial & p2, double tol )

Compare if two polynomials p1 and p2 are the same, by checking if all the coefficients in their difference p1 - p2 is no larger than tol.

Parameters
 p1 A polynomial. p2 A polynomial. tol The tolerance on the coefficients of p1 - p2.

Here is the call graph for this function:

Here is the caller graph for this function:

 bool drake::symbolic::test::PolyNotEqual ( const Polynomial & p1, const Polynomial & p2 )
inline

Here is the call graph for this function:

 bool drake::symbolic::test::VarEqual ( const Variable & v1, const Variable & v2 )
inline

Here is the call graph for this function:

Here is the caller graph for this function:

 bool drake::symbolic::test::VarLess ( const Variable & v1, const Variable & v2 )
inline

Here is the call graph for this function:

Here is the caller graph for this function:

 bool drake::symbolic::test::VarNotEqual ( const Variable & v1, const Variable & v2 )
inline

Here is the call graph for this function:

 bool drake::symbolic::test::VarNotLess ( const Variable & v1, const Variable & v2 )
inline

Here is the call graph for this function: