Drake
symbolic.h File Reference

Detailed Description

Provides public header files of Drake's symbolic library.

A user of the symbolic library should only include this header file. Including other individual headers such as symbolic_expression.h will generate a compile-time error.

Many symbolic types are not closed under the defined operations. For example, relational operations (i.e. <) over symbolic::Expression produce symbolic::Formula. Another example is addition (+) over Monomial which gives Polynomial. If a user does not include the necessary set of header files, he/she will get either 1) incomprehensible c++ errors or 2) undefined runtime behaviors. The problem is trickier if we use symbolic objects via Eigen.

Include dependency graph for symbolic.h:

Macros

#define DRAKE_COMMON_SYMBOLIC_HEADER
 

Macro Definition Documentation

◆ DRAKE_COMMON_SYMBOLIC_HEADER

#define DRAKE_COMMON_SYMBOLIC_HEADER