examples/validated_integrator/getting_started.cpp File Reference

#include <acado/validated_integrator/ellipsoidal_integrator.hpp>

Include dependency graph for examples/validated_integrator/getting_started.cpp:

Go to the source code of this file.

Functions
int	main ()

Variables
USING_NAMESPACE_ACADO typedef TaylorVariable< Interval >	T

Detailed Description

Author

Boris Houska, Mario Villanueva, Benoit Chachuat

Date

2013

Definition in file examples/validated_integrator/getting_started.cpp.

Function Documentation

int main

(

void

)

Definition at line 42 of file examples/validated_integrator/getting_started.cpp.

Variable Documentation

USING_NAMESPACE_ACADO typedef TaylorVariable<Interval> T

Definition at line 39 of file examples/validated_integrator/getting_started.cpp.