symbolic Directory Reference

Files
file	symbolic.h [code]
	This is the header file that we consolidate Drake's symbolic classes and expose them inside of dreal namespace.
file	symbolic_test_util.h [code]
	This is the header file that we consolidate Drake's symbolic test predicates originally defined in "drake/common/test/symbolic_test_util.h".