Drake
ConditionTraits< symbolic::Formula > Struct Template Reference

#include <drake/common/symbolic_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 )
inlinestatic

Member Data Documentation

◆ is_valid

constexpr bool is_valid = true
static

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