//////////////////////////////////////////////////////////////////////////////
///
///  @file output.h
///  
///  @author kapela  @date   Sep 2, 2011
//////////////////////////////////////////////////////////////////////////////

// Copyright (C) 2011 by the CAPD Group.
//
// This file constitutes a part of the CAPD library,
// distributed under the terms of the GNU General Public License.
// Consult  http://capd.ii.uj.edu.pl/ for details.

#ifndef _EXAMPLES_PROJECTSTARTER_OUTPUT_H_
#define _EXAMPLES_PROJECTSTARTER_OUTPUT_H_

#include "capd/intervals/lib.h"

void print(const char * name, const capd::Interval & x);

#endif //_EXAMPLES_PROJECTSTARTER_OUTPUT_H_
