/*******************************************************************************
+
+  LEDA 7.2.2  
+
+
+  real_point_set.h
+
+
+  Copyright (c) 1995-2025
+  by Algorithmic Solutions Software GmbH
+  All rights reserved.
+ 
*******************************************************************************/



#ifndef LEDA_REAL_POINT_SET_H
#define LEDA_REAL_POINT_SET_H

#if !defined(LEDA_ROOT_INCL_ID)
#define LEDA_ROOT_INCL_ID 722099
#include <LEDA/internal/PREAMBLE.h>
#endif

#include <LEDA/graph/graph.h>
#include <LEDA/geo/real_kernel.h>
#include <LEDA/geo/real_kernel_names.h>
#include <LEDA/geo/generic/POINT_SET.h>
#include <LEDA/geo/kernel_names_undef.h>


#if LEDA_ROOT_INCL_ID == 722099
#undef LEDA_ROOT_INCL_ID
#include <LEDA/internal/POSTAMBLE.h>
#endif

#endif

