symbolic_test_util.h File Reference

This is the header file that we consolidate Drake's symbolic test predicates originally defined in "drake/common/test/symbolic_test_util.h". More...

#include "dreal/symbolic/test/symbolic_test_util.h"

Go to the source code of this file.

Namespaces
	dreal
	Sum type of symbolic::Expression and symbolic::Formula.

Detailed Description

This is the header file that we consolidate Drake's symbolic test predicates originally defined in "drake/common/test/symbolic_test_util.h".

Other files in dreal should include "dreal/symbolic/symbolic_test_util.h" and have "//dreal/symbolic:symbolic_test_util" in BUILD file.