Drake
ConditionTraits< symbolic::Formula > Struct Template Reference

#include <drake/common/symbolic_formula.h>

Collaboration diagram for ConditionTraits< symbolic::Formula >:
[legend]

Static Public Member Functions

static bool Evaluate (const symbolic::Formula &)
 

Static Public Attributes

static constexpr bool is_valid = true
 

Member Function Documentation

static bool Evaluate ( const symbolic::Formula )
inlinestatic

Member Data Documentation

constexpr bool is_valid = true
static

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