symbolic_test_util.h

Go to the documentation of this file.

/// @file symbolic_test_util.h
///
/// 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.
#pragma once

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

namespace dreal {

// NOLINTNEXTLINE(build/namespaces)
using namespace drake::symbolic::test;

}  // namespace dreal