formula_visitor.h File Reference

#include <utility>
#include "drake/common/drake_assert.h"

Include dependency graph for formula_visitor.h:

This graph shows which files directly or indirectly include this file:

Namespaces
namespace	drake
namespace	drake::symbolic

Functions
template<typename Result, typename Visitor, typename... Args>
Result	VisitFormula (Visitor *v, const Formula &f, Args &&... args)
	Calls visitor object v with a symbolic formula f, and arguments args.