Drake
drake::assert Namespace Reference

Classes

struct  ConditionTraits< Bool< T > >
 Provides the specialization of ConditionTraits for Bool<T> so that a value of Bool<T> can be passed to DRAKE_ASSERT/DRAKE_DEMAND macros. More...
 
struct  ConditionTraits< symbolic::Formula >