//
//  pendulum_adolc.h
//
//  ADOLC C++ header file for the functions defined in pendulum_adolc.cpp
//
//  This file was generated by the program VFGEN (Version:2.4.0)
//  Generated on 10-Jul-2008 at 11:27
//

void pendulum_vf(short int, double *, double *, double *);