Drake
drake::symbolic::test Namespace Reference

Functions

DRAKE_NODISCARD bool VarEqual (const Variable &v1, const Variable &v2)
 
DRAKE_NODISCARD bool VarNotEqual (const Variable &v1, const Variable &v2)
 
DRAKE_NODISCARD bool VarLess (const Variable &v1, const Variable &v2)
 
DRAKE_NODISCARD bool VarNotLess (const Variable &v1, const Variable &v2)
 
DRAKE_NODISCARD bool ExprEqual (const Expression &e1, const Expression &e2)
 
DRAKE_NODISCARD bool ExprNotEqual (const Expression &e1, const Expression &e2)
 
DRAKE_NODISCARD bool ExprLess (const Expression &e1, const Expression &e2)
 
DRAKE_NODISCARD bool ExprNotLess (const Expression &e1, const Expression &e2)
 
DRAKE_NODISCARD bool PolyEqual (const Polynomial &p1, const Polynomial &p2)
 
DRAKE_NODISCARD bool PolyNotEqual (const Polynomial &p1, const Polynomial &p2)
 
DRAKE_NODISCARD bool PolyEqualAfterExpansion (const Polynomial &p1, const Polynomial &p2)
 
DRAKE_NODISCARD bool PolyNotEqualAfterExpansion (const Polynomial &p1, const Polynomial &p2)
 
DRAKE_NODISCARD bool RationalFunctionEqual (const RationalFunction &f1, const RationalFunction &f2)
 
DRAKE_NODISCARD bool RationalFunctionNotEqual (const RationalFunction &f1, const RationalFunction &f2)
 
template<typename F >
DRAKE_NODISCARD bool all_of (const std::vector< Formula > &formulas, const F &f)
 
template<typename F >
DRAKE_NODISCARD bool any_of (const std::vector< Formula > &formulas, const F &f)
 
DRAKE_NODISCARD bool FormulaEqual (const Formula &f1, const Formula &f2)
 
DRAKE_NODISCARD bool FormulaNotEqual (const Formula &f1, const Formula &f2)
 
DRAKE_NODISCARD bool FormulaLess (const Formula &f1, const Formula &f2)
 
DRAKE_NODISCARD bool FormulaNotLess (const Formula &f1, const Formula &f2)
 
DRAKE_NODISCARD ::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

◆ all_of()

DRAKE_NODISCARD bool drake::symbolic::test::all_of ( const std::vector< Formula > &  formulas,
const F f 
)

◆ any_of()

DRAKE_NODISCARD bool drake::symbolic::test::any_of ( const std::vector< Formula > &  formulas,
const F f 
)

◆ ExprEqual()

DRAKE_NODISCARD bool drake::symbolic::test::ExprEqual ( const Expression e1,
const Expression e2 
)

◆ ExprLess()

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

◆ ExprNotEqual()

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

◆ ExprNotLess()

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

◆ FormulaEqual()

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

◆ FormulaLess()

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

◆ FormulaNotEqual()

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

◆ FormulaNotLess()

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

◆ PolyEqual()

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

◆ PolyEqualAfterExpansion()

DRAKE_NODISCARD bool drake::symbolic::test::PolyEqualAfterExpansion ( const Polynomial p1,
const Polynomial p2 
)

◆ PolynomialEqual()

DRAKE_NODISCARD ::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
p1A polynomial.
p2A polynomial.
tolThe tolerance on the coefficients of p1 - p2.

◆ PolyNotEqual()

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

◆ PolyNotEqualAfterExpansion()

DRAKE_NODISCARD bool drake::symbolic::test::PolyNotEqualAfterExpansion ( const Polynomial p1,
const Polynomial p2 
)

◆ RationalFunctionEqual()

DRAKE_NODISCARD bool drake::symbolic::test::RationalFunctionEqual ( const RationalFunction f1,
const RationalFunction f2 
)

◆ RationalFunctionNotEqual()

DRAKE_NODISCARD bool drake::symbolic::test::RationalFunctionNotEqual ( const RationalFunction f1,
const RationalFunction f2 
)

◆ VarEqual()

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

◆ VarLess()

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

◆ VarNotEqual()

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

◆ VarNotLess()

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