ConditionTraits< symbolic::Formula > Struct Template Reference

#include <drake/common/symbolic/expression/formula.h>

Static Public Member Functions
static bool	Evaluate (const symbolic::Formula &)

Static Public Attributes
static constexpr bool	is_valid = true

Member Function Documentation

Evaluate()

static bool Evaluate ( const symbolic::Formula &  )

static

Member Data Documentation

is_valid

constexpr bool is_valid = true

static

---

The documentation for this struct was generated from the following file:

• drake/common/symbolic/expression/formula.h