ConditionTraits< symbolic::Formula > Struct 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()

bool Evaluate ( const symbolic::Formula & )

static

Member Data Documentation

is_valid

bool is_valid = true

staticconstexpr

---

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

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