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/drake_bool.h"
#include "drake/common/drake_copyable.h"
#include "drake/systems/framework/event_collection.h"
#include "drake/systems/framework/system_base.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 }