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.