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) |
template<typename BasisElement > | |
bool | GenericPolyEqual (const GenericPolynomial< BasisElement > &p1, const GenericPolynomial< BasisElement > &p2) |
template<typename BasisElement > | |
bool | GenericPolyNotEqual (const GenericPolynomial< BasisElement > &p1, const GenericPolynomial< BasisElement > &p2) |
template<typename BasisElement > | |
bool | GenericPolyEqualAfterExpansion (const GenericPolynomial< BasisElement > &p1, const GenericPolynomial< BasisElement > &p2) |
template<typename BasisElement > | |
bool | GenericPolyNotEqualAfterExpansion (const GenericPolynomial< BasisElement > &p1, const GenericPolynomial< BasisElement > &p2) |
template<typename BasisElement > | |
bool | GenericPolyAlmostEqual (const GenericPolynomial< BasisElement > &p1, const GenericPolynomial< BasisElement > &p2, double tol) |
bool | PolyEqual (const Polynomial &p1, const Polynomial &p2) |
bool | PolyNotEqual (const Polynomial &p1, const Polynomial &p2) |
bool | PolyEqualAfterExpansion (const Polynomial &p1, const Polynomial &p2) |
bool | PolyNotEqualAfterExpansion (const Polynomial &p1, const Polynomial &p2) |
bool | RationalFunctionEqual (const RationalFunction &f1, const RationalFunction &f2) |
bool | RationalFunctionNotEqual (const RationalFunction &f1, const RationalFunction &f2) |
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... | |
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 | ||
) |
bool drake::symbolic::test::ExprLess | ( | const Expression & | e1, |
const Expression & | e2 | ||
) |
bool drake::symbolic::test::ExprNotEqual | ( | const Expression & | e1, |
const Expression & | e2 | ||
) |
bool drake::symbolic::test::ExprNotLess | ( | const Expression & | e1, |
const Expression & | e2 | ||
) |
bool drake::symbolic::test::GenericPolyAlmostEqual | ( | const GenericPolynomial< BasisElement > & | p1, |
const GenericPolynomial< BasisElement > & | p2, | ||
double | tol | ||
) |
bool drake::symbolic::test::GenericPolyEqual | ( | const GenericPolynomial< BasisElement > & | p1, |
const GenericPolynomial< BasisElement > & | p2 | ||
) |
bool drake::symbolic::test::GenericPolyEqualAfterExpansion | ( | const GenericPolynomial< BasisElement > & | p1, |
const GenericPolynomial< BasisElement > & | p2 | ||
) |
bool drake::symbolic::test::GenericPolyNotEqual | ( | const GenericPolynomial< BasisElement > & | p1, |
const GenericPolynomial< BasisElement > & | p2 | ||
) |
bool drake::symbolic::test::GenericPolyNotEqualAfterExpansion | ( | const GenericPolynomial< BasisElement > & | p1, |
const GenericPolynomial< BasisElement > & | p2 | ||
) |
bool drake::symbolic::test::PolyEqual | ( | const Polynomial & | p1, |
const Polynomial & | p2 | ||
) |
bool drake::symbolic::test::PolyEqualAfterExpansion | ( | const Polynomial & | p1, |
const Polynomial & | p2 | ||
) |
::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.
p1 | A polynomial. |
p2 | A polynomial. |
tol | The tolerance on the coefficients of p1 - p2. |
bool drake::symbolic::test::PolyNotEqual | ( | const Polynomial & | p1, |
const Polynomial & | p2 | ||
) |
bool drake::symbolic::test::PolyNotEqualAfterExpansion | ( | const Polynomial & | p1, |
const Polynomial & | p2 | ||
) |
bool drake::symbolic::test::RationalFunctionEqual | ( | const RationalFunction & | f1, |
const RationalFunction & | f2 | ||
) |
bool drake::symbolic::test::RationalFunctionNotEqual | ( | const RationalFunction & | f1, |
const RationalFunction & | f2 | ||
) |