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

bool	TupleVarEqual (const std::tuple< Variable, Variable > &vars)

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...

Function Documentation

◆ all_of()

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

◆ any_of()

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

◆ ExprEqual()

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

◆ ExprLess()

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

◆ ExprNotEqual()

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

◆ ExprNotLess()

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

◆ FormulaEqual()

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

◆ FormulaLess()

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

◆ FormulaNotEqual()

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

◆ FormulaNotLess()

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

◆ GenericPolyAlmostEqual()

bool drake::symbolic::test::GenericPolyAlmostEqual	(	const GenericPolynomial< BasisElement > &	p1,
		const GenericPolynomial< BasisElement > &	p2,
		double	tol
	)

◆ GenericPolyEqual()

bool drake::symbolic::test::GenericPolyEqual	(	const GenericPolynomial< BasisElement > &	p1,
		const GenericPolynomial< BasisElement > &	p2
	)

◆ GenericPolyEqualAfterExpansion()

bool drake::symbolic::test::GenericPolyEqualAfterExpansion	(	const GenericPolynomial< BasisElement > &	p1,
		const GenericPolynomial< BasisElement > &	p2
	)

◆ GenericPolyNotEqual()

bool drake::symbolic::test::GenericPolyNotEqual	(	const GenericPolynomial< BasisElement > &	p1,
		const GenericPolynomial< BasisElement > &	p2
	)

◆ GenericPolyNotEqualAfterExpansion()

bool drake::symbolic::test::GenericPolyNotEqualAfterExpansion	(	const GenericPolynomial< BasisElement > &	p1,
		const GenericPolynomial< BasisElement > &	p2
	)

◆ PolyEqual()

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

◆ PolyEqualAfterExpansion()

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

◆ PolynomialEqual()

::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.

◆ PolyNotEqual()

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

◆ PolyNotEqualAfterExpansion()

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

◆ RationalFunctionEqual()

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

◆ RationalFunctionNotEqual()

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

◆ TupleVarEqual()

bool drake::symbolic::test::TupleVarEqual ( const std::tuple< Variable, Variable > & vars )

◆ VarEqual()

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

◆ VarLess()

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

◆ VarNotEqual()

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

◆ VarNotLess()

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

Functions