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:


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...




enum  WitnessFunctionDirection { kNone, kPositiveThenNonPositive, kNegativeThenNonNegative, kCrossesZero }