Drake
witness_function.h File Reference
#include <limits>
#include <memory>
#include <string>
#include <type_traits>
#include <utility>
#include "drake/common/default_scalars.h"
#include "drake/common/symbolic.h"
#include "drake/systems/framework/event_collection.h"
Include dependency graph for witness_function.h:
This graph shows which files directly or indirectly include this file:

Classes

class  System< T >
 Base class for all System functionality that is dependent on the templatized scalar type T for input, state, parameters, and outputs. More...
 
class  WitnessFunction< T >
 Class that stores a function that is able to help determine the time and state at which a step of the initial value problem integration of a System should end, which may be done for any number of purposes, including publishing or state reinitialization (i.e., event handling). More...
 

Namespaces

 drake
 
 drake::systems
 

Enumerations

enum  WitnessFunctionDirection { kNone, kPositiveThenNonPositive, kNegativeThenNonNegative, kCrossesZero }