#include <functional>
#include <limits>
#include <optional>
#include <string>
#include <utility>
#include "maliput/drake/common/default_scalars.h"
#include "maliput/drake/common/drake_assert.h"
#include "maliput/drake/common/drake_bool.h"
#include "maliput/drake/common/drake_throw.h"
#include "maliput/drake/common/eigen_types.h"
#include "maliput/drake/common/never_destroyed.h"
#include "maliput/drake/common/type_safe_index.h"
#include "maliput/drake/systems/framework/context.h"
#include "maliput/drake/systems/framework/framework_common.h"

Include dependency graph for system_constraint.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	SystemConstraintBounds
	The bounds of a SystemConstraint. More...

class	SystemConstraint< T >
	A SystemConstraint is a generic base-class for constraints on Systems. More...

class	ExternalSystemConstraint
	An "external" constraint on a System. More...

Namespaces
	maliput
	Code in this file is inspired by: https://github.com/RobotLocomotion/drake/blob/master/common/text_logging.h.

	maliput::drake

	maliput::drake::systems

Typedefs
template<typename T >
using	ContextConstraintCalc = std::function< void(const Context< T > &, VectorX< T > *value)>
	This is the signature of a stateless function that evaluates the value of the constraint function f: value = f(context) More...

template<typename T >
using	SystemConstraintCalc = std::function< void(const System< T > &, const Context< T > &, VectorX< T > *value)>
	This is the signature of a stateless function that evaluates the value of the constraint function f: value = f(system, context) More...

Enumerations
enum	SystemConstraintType { kEquality = 0, kInequality = 1 }
	The form of a SystemConstraint. More...

Classes

Namespaces

Typedefs

Enumerations