Drake
pydrake_symbolic_types.h
Go to the documentation of this file.
1 #pragma once
2 
3 #include <pybind11/eigen.h>
4 #include <pybind11/pybind11.h>
5 
7 
Represents a symbolic variable.
Definition: symbolic_variable.h:24
Represents a symbolic form of a first-order logic formula.
Definition: symbolic_formula.h:113
PYBIND11_NUMPY_OBJECT_DTYPE(drake::symbolic::Variable)
Represents a symbolic form of an expression.
Definition: symbolic_expression.h:172
Provides public header files of Drake&#39;s symbolic library.