Commit 5cf76966 authored by incardon's avatar incardon
Browse files

Adding export SVG to plot

parent 62b83164
...@@ -78,6 +78,27 @@ else ...@@ -78,6 +78,27 @@ else
NVCCFLAGS+="$NVCCFLAGS -O3 " NVCCFLAGS+="$NVCCFLAGS -O3 "
fi fi
###### Checking for compiler flags -fext-numeric-literals
AC_LANG_PUSH([C++])
my_save_cflags="$CXXFLAGS"
CXXFLAGS=-fext-numeric-literals
AC_MSG_CHECKING([whether CXX supports -fext-numeric-literals])
AC_COMPILE_IFELSE([AC_LANG_PROGRAM([])],
[AC_MSG_RESULT([yes])
AM_CXXFLAGS="-fext-numeric-literals"
],
[
AC_MSG_RESULT([no])
]
)
AC_LANG_POP([C++])
CXXFLAGS="$my_save_cflags"
AC_SUBST([AM_CXXFLAGS])
####### Set location of openfpm_pdata ####### Set location of openfpm_pdata
AC_ARG_WITH([pdata], AC_ARG_WITH([pdata],
......
<html> <html>
<head> <head>
<script type="text/javascript" src="https://www.gstatic.com/charts/loader.js"></script> <script type="text/javascript" src="https://www.gstatic.com/charts/loader.js"></script>
<script src="https://ajax.googleapis.com/ajax/libs/jquery/1.12.4/jquery.min.js"></script>
<script type="text/javascript"> <script type="text/javascript">
google.charts.load('current', {'packages':['corechart']}); google.charts.load('current', {'packages':['corechart']});
google.charts.setOnLoadCallback(drawVisualization); google.charts.setOnLoadCallback(drawVisualization);
function exportToSVG(i)
{
var e = document.getElementById('chart_div'+i);
var svg = e.getElementsByTagName('svg')[0].parentNode.innerHTML;
var pos = svg.lastIndexOf("</svg>");
pos += 6;
svg = svg.substring(0,4) + " xmlns='http://www.w3.org/2000/svg' xmlns:xlink= 'http://www.w3.org/1999/xlink' " + svg.substring(4,pos);
svgData = 'data:image/svg+xml;charset=utf-8,' + encodeURIComponent(svg);
$(this).attr({'href': svgData,'target': '_blank'});
}
function drawVisualization() { function drawVisualization() {
var data0 = new google.visualization.DataTable(); var data0 = new google.visualization.DataTable();
...@@ -26,10 +37,11 @@ title : 'Example', ...@@ -26,10 +37,11 @@ title : 'Example',
vAxis: {title: 'Y Axis'}, vAxis: {title: 'Y Axis'},
hAxis: {title: 'X Axis'}, hAxis: {title: 'X Axis'},
seriesType: 'bars'}; seriesType: 'bars'};
$("#export_svg0").on("click", function (event) {exportToSVG.apply(this,[0]);});
var chart = new google.visualization.ComboChart(document.getElementById('chart_div0'));chart.draw(data0, options0); var chart = new google.visualization.ComboChart(document.getElementById('chart_div0'));chart.draw(data0, options0);
}</script> }</script>
</head> </head>
<body> <body>
<div id="chart_div0" style="width: 900px; height: 500px;"></div> <a href="#" download="graph1.svg" id="export_svg0"><button>Export data into svg</button></a><div id="chart_div0" style="width: 900px; height: 500px;"></div>
</body> </body>
</html> </html>
<html> <html>
<head> <head>
<script type="text/javascript" src="https://www.gstatic.com/charts/loader.js"></script> <script type="text/javascript" src="https://www.gstatic.com/charts/loader.js"></script>
<script src="https://ajax.googleapis.com/ajax/libs/jquery/1.12.4/jquery.min.js"></script>
<script type="text/javascript"> <script type="text/javascript">
google.charts.load('current', {'packages':['corechart']}); google.charts.load('current', {'packages':['corechart']});
google.charts.setOnLoadCallback(drawVisualization); google.charts.setOnLoadCallback(drawVisualization);
function exportToSVG(i)
{
var e = document.getElementById('chart_div'+i);
var svg = e.getElementsByTagName('svg')[0].parentNode.innerHTML;
var pos = svg.lastIndexOf("</svg>");
pos += 6;
svg = svg.substring(0,4) + " xmlns='http://www.w3.org/2000/svg' xmlns:xlink= 'http://www.w3.org/1999/xlink' " + svg.substring(4,pos);
svgData = 'data:image/svg+xml;charset=utf-8,' + encodeURIComponent(svg);
$(this).attr({'href': svgData,'target': '_blank'});
}
function drawVisualization() { function drawVisualization() {
var data0 = new google.visualization.DataTable(); var data0 = new google.visualization.DataTable();
...@@ -26,10 +37,11 @@ title : 'Example', ...@@ -26,10 +37,11 @@ title : 'Example',
vAxis: {title: 'Y Axis'}, vAxis: {title: 'Y Axis'},
hAxis: {title: 'X Axis'}, hAxis: {title: 'X Axis'},
seriesType: ''}; seriesType: ''};
$("#export_svg0").on("click", function (event) {exportToSVG.apply(this,[0]);});
var chart = new google.visualization.ComboChart(document.getElementById('chart_div0'));chart.draw(data0, options0); var chart = new google.visualization.ComboChart(document.getElementById('chart_div0'));chart.draw(data0, options0);
}</script> }</script>
</head> </head>
<body> <body>
<div id="chart_div0" style="width: 900px; height: 500px;"></div> <a href="#" download="graph1.svg" id="export_svg0"><button>Export data into svg</button></a><div id="chart_div0" style="width: 900px; height: 500px;"></div>
</body> </body>
</html> </html>
<html> <html>
<head> <head>
<script type="text/javascript" src="https://www.gstatic.com/charts/loader.js"></script> <script type="text/javascript" src="https://www.gstatic.com/charts/loader.js"></script>
<script src="https://ajax.googleapis.com/ajax/libs/jquery/1.12.4/jquery.min.js"></script>
<script type="text/javascript"> <script type="text/javascript">
google.charts.load('current', {'packages':['corechart']}); google.charts.load('current', {'packages':['corechart']});
google.charts.setOnLoadCallback(drawVisualization); google.charts.setOnLoadCallback(drawVisualization);
function exportToSVG(i)
{
var e = document.getElementById('chart_div'+i);
var svg = e.getElementsByTagName('svg')[0].parentNode.innerHTML;
var pos = svg.lastIndexOf("</svg>");
pos += 6;
svg = svg.substring(0,4) + " xmlns='http://www.w3.org/2000/svg' xmlns:xlink= 'http://www.w3.org/1999/xlink' " + svg.substring(4,pos);
svgData = 'data:image/svg+xml;charset=utf-8,' + encodeURIComponent(svg);
$(this).attr({'href': svgData,'target': '_blank'});
}
function drawVisualization() { function drawVisualization() {
var data0 = new google.visualization.DataTable(); var data0 = new google.visualization.DataTable();
...@@ -26,10 +37,11 @@ title : '', ...@@ -26,10 +37,11 @@ title : '',
vAxis: {title: ''}, vAxis: {title: ''},
hAxis: {title: ''}, hAxis: {title: ''},
seriesType: ''}; seriesType: ''};
$("#export_svg0").on("click", function (event) {exportToSVG.apply(this,[0]);});
var chart = new google.visualization.ComboChart(document.getElementById('chart_div0'));chart.draw(data0, options0); var chart = new google.visualization.ComboChart(document.getElementById('chart_div0'));chart.draw(data0, options0);
}</script> }</script>
</head> </head>
<body> <body>
<div id="chart_div0" style="width: 900px; height: 500px;"></div> <a href="#" download="graph1.svg" id="export_svg0"><button>Export data into svg</button></a><div id="chart_div0" style="width: 900px; height: 500px;"></div>
</body> </body>
</html> </html>
<html> <html>
<head> <head>
<script type="text/javascript" src="https://www.gstatic.com/charts/loader.js"></script> <script type="text/javascript" src="https://www.gstatic.com/charts/loader.js"></script>
<script src="https://ajax.googleapis.com/ajax/libs/jquery/1.12.4/jquery.min.js"></script>
<script type="text/javascript"> <script type="text/javascript">
google.charts.load('current', {'packages':['corechart']}); google.charts.load('current', {'packages':['corechart']});
google.charts.setOnLoadCallback(drawVisualization); google.charts.setOnLoadCallback(drawVisualization);
function exportToSVG(i)
{
var e = document.getElementById('chart_div'+i);
var svg = e.getElementsByTagName('svg')[0].parentNode.innerHTML;
var pos = svg.lastIndexOf("</svg>");
pos += 6;
svg = svg.substring(0,4) + " xmlns='http://www.w3.org/2000/svg' xmlns:xlink= 'http://www.w3.org/1999/xlink' " + svg.substring(4,pos);
svgData = 'data:image/svg+xml;charset=utf-8,' + encodeURIComponent(svg);
$(this).attr({'href': svgData,'target': '_blank'});
}
function drawVisualization() { function drawVisualization() {
var data0 = new google.visualization.DataTable(); var data0 = new google.visualization.DataTable();
...@@ -26,10 +37,11 @@ title : '', ...@@ -26,10 +37,11 @@ title : '',
vAxis: {title: ''}, vAxis: {title: ''},
hAxis: {title: ''}, hAxis: {title: ''},
seriesType: ''}; seriesType: ''};
$("#export_svg0").on("click", function (event) {exportToSVG.apply(this,[0]);});
var chart = new google.visualization.ComboChart(document.getElementById('chart_div0'));chart.draw(data0, options0); var chart = new google.visualization.ComboChart(document.getElementById('chart_div0'));chart.draw(data0, options0);
}</script> }</script>
</head> </head>
<body> <body>
<div id="chart_div0" style="width: 900px; height: 500px;"></div> <a href="#" download="graph1.svg" id="export_svg0"><button>Export data into svg</button></a><div id="chart_div0" style="width: 900px; height: 500px;"></div>
</body> </body>
</html> </html>
<html> <html>
<head> <head>
<script type="text/javascript" src="https://www.gstatic.com/charts/loader.js"></script> <script type="text/javascript" src="https://www.gstatic.com/charts/loader.js"></script>
<script src="https://ajax.googleapis.com/ajax/libs/jquery/1.12.4/jquery.min.js"></script>
<script type="text/javascript"> <script type="text/javascript">
google.charts.load('current', {'packages':['corechart']}); google.charts.load('current', {'packages':['corechart']});
google.charts.setOnLoadCallback(drawVisualization); google.charts.setOnLoadCallback(drawVisualization);
function exportToSVG(i)
{
var e = document.getElementById('chart_div'+i);
var svg = e.getElementsByTagName('svg')[0].parentNode.innerHTML;
var pos = svg.lastIndexOf("</svg>");
pos += 6;
svg = svg.substring(0,4) + " xmlns='http://www.w3.org/2000/svg' xmlns:xlink= 'http://www.w3.org/1999/xlink' " + svg.substring(4,pos);
svgData = 'data:image/svg+xml;charset=utf-8,' + encodeURIComponent(svg);
$(this).attr({'href': svgData,'target': '_blank'});
}
function drawVisualization() { function drawVisualization() {
var data0 = new google.visualization.DataTable(); var data0 = new google.visualization.DataTable();
...@@ -26,10 +37,11 @@ title : '', ...@@ -26,10 +37,11 @@ title : '',
vAxis: {title: ''}, vAxis: {title: ''},
hAxis: {title: ''}, hAxis: {title: ''},
seriesType: ''}; seriesType: ''};
$("#export_svg0").on("click", function (event) {exportToSVG.apply(this,[0]);});
var chart = new google.visualization.ComboChart(document.getElementById('chart_div0'));chart.draw(data0, options0); var chart = new google.visualization.ComboChart(document.getElementById('chart_div0'));chart.draw(data0, options0);
}</script> }</script>
</head> </head>
<body> <body>
<div id="chart_div0" style="width: 900px; height: 500px;"></div> <a href="#" download="graph1.svg" id="export_svg0"><button>Export data into svg</button></a><div id="chart_div0" style="width: 900px; height: 500px;"></div>
</body> </body>
</html> </html>
<html> <html>
<head> <head>
<script type="text/javascript" src="https://www.gstatic.com/charts/loader.js"></script> <script type="text/javascript" src="https://www.gstatic.com/charts/loader.js"></script>
<script src="https://ajax.googleapis.com/ajax/libs/jquery/1.12.4/jquery.min.js"></script>
<script type="text/javascript"> <script type="text/javascript">
google.charts.load('current', {'packages':['corechart']}); google.charts.load('current', {'packages':['corechart']});
google.charts.setOnLoadCallback(drawVisualization); google.charts.setOnLoadCallback(drawVisualization);
function exportToSVG(i)
{
var e = document.getElementById('chart_div'+i);
var svg = e.getElementsByTagName('svg')[0].parentNode.innerHTML;
var pos = svg.lastIndexOf("</svg>");
pos += 6;
svg = svg.substring(0,4) + " xmlns='http://www.w3.org/2000/svg' xmlns:xlink= 'http://www.w3.org/1999/xlink' " + svg.substring(4,pos);
svgData = 'data:image/svg+xml;charset=utf-8,' + encodeURIComponent(svg);
$(this).attr({'href': svgData,'target': '_blank'});
}
function drawVisualization() { function drawVisualization() {
var data0 = new google.visualization.DataTable(); var data0 = new google.visualization.DataTable();
...@@ -67,14 +78,17 @@ vAxis: {title: 'Y Axis'}, ...@@ -67,14 +78,17 @@ vAxis: {title: 'Y Axis'},
hAxis: {title: 'X Axis'}, hAxis: {title: 'X Axis'},
seriesType: 'bars', seriesType: 'bars',
series: {3: {type: 'line'}}}; series: {3: {type: 'line'}}};
$("#export_svg0").on("click", function (event) {exportToSVG.apply(this,[0]);});
var chart = new google.visualization.ComboChart(document.getElementById('chart_div0'));chart.draw(data0, options0); var chart = new google.visualization.ComboChart(document.getElementById('chart_div0'));chart.draw(data0, options0);
$("#export_svg1").on("click", function (event) {exportToSVG.apply(this,[1]);});
var chart = new google.visualization.ComboChart(document.getElementById('chart_div1'));chart.draw(data1, options1); var chart = new google.visualization.ComboChart(document.getElementById('chart_div1'));chart.draw(data1, options1);
$("#export_svg2").on("click", function (event) {exportToSVG.apply(this,[2]);});
var chart = new google.visualization.ComboChart(document.getElementById('chart_div2'));chart.draw(data2, options2); var chart = new google.visualization.ComboChart(document.getElementById('chart_div2'));chart.draw(data2, options2);
}</script> }</script>
</head> </head>
<body> <body>
<h2>Before first graph</h2><div id="chart_div0" style="width: 900px; height: 500px;"></div> <h2>Before first graph</h2><a href="#" download="graph1.svg" id="export_svg0"><button>Export data into svg</button></a><div id="chart_div0" style="width: 900px; height: 500px;"></div>
<h2>Before second graph</h2><div id="chart_div1" style="width: 900px; height: 500px;"></div> <h2>Before second graph</h2><a href="#" download="graph1.svg" id="export_svg1"><button>Export data into svg</button></a><div id="chart_div1" style="width: 900px; height: 500px;"></div>
<h2>Before third graph</h2><div id="chart_div2" style="width: 900px; height: 500px;"></div> <h2>Before third graph</h2><a href="#" download="graph1.svg" id="export_svg2"><button>Export data into svg</button></a><div id="chart_div2" style="width: 900px; height: 500px;"></div>
<h2>At the end</h2></body> <h2>At the end</h2></body>
</html> </html>
<html> <html>
<head> <head>
<script type="text/javascript" src="https://www.gstatic.com/charts/loader.js"></script> <script type="text/javascript" src="https://www.gstatic.com/charts/loader.js"></script>
<script src="https://ajax.googleapis.com/ajax/libs/jquery/1.12.4/jquery.min.js"></script>
<script type="text/javascript"> <script type="text/javascript">
google.charts.load('current', {'packages':['corechart']}); google.charts.load('current', {'packages':['corechart']});
google.charts.setOnLoadCallback(drawVisualization); google.charts.setOnLoadCallback(drawVisualization);
function exportToSVG(i)
{
var e = document.getElementById('chart_div'+i);
var svg = e.getElementsByTagName('svg')[0].parentNode.innerHTML;
var pos = svg.lastIndexOf("</svg>");
pos += 6;
svg = svg.substring(0,4) + " xmlns='http://www.w3.org/2000/svg' xmlns:xlink= 'http://www.w3.org/1999/xlink' " + svg.substring(4,pos);
svgData = 'data:image/svg+xml;charset=utf-8,' + encodeURIComponent(svg);
$(this).attr({'href': svgData,'target': '_blank'});
}
function drawVisualization() { function drawVisualization() {
var data0 = new google.visualization.DataTable(); var data0 = new google.visualization.DataTable();
...@@ -27,10 +38,11 @@ vAxis: {title: 'Y Axis'}, ...@@ -27,10 +38,11 @@ vAxis: {title: 'Y Axis'},
hAxis: {title: 'X Axis'}, hAxis: {title: 'X Axis'},
seriesType: 'bars', seriesType: 'bars',
series: {3: {type: 'line'}}}; series: {3: {type: 'line'}}};
$("#export_svg0").on("click", function (event) {exportToSVG.apply(this,[0]);});
var chart = new google.visualization.ComboChart(document.getElementById('chart_div0'));chart.draw(data0, options0); var chart = new google.visualization.ComboChart(document.getElementById('chart_div0'));chart.draw(data0, options0);
}</script> }</script>
</head> </head>
<body> <body>
<div id="chart_div0" style="width: 900px; height: 500px;"></div> <a href="#" download="graph1.svg" id="export_svg0"><button>Export data into svg</button></a><div id="chart_div0" style="width: 900px; height: 500px;"></div>
</body> </body>
</html> </html>
<html> <html>
<head> <head>
<script type="text/javascript" src="https://www.gstatic.com/charts/loader.js"></script> <script type="text/javascript" src="https://www.gstatic.com/charts/loader.js"></script>
<script src="https://ajax.googleapis.com/ajax/libs/jquery/1.12.4/jquery.min.js"></script>
<script type="text/javascript"> <script type="text/javascript">
google.charts.load('current', {'packages':['corechart']}); google.charts.load('current', {'packages':['corechart']});
google.charts.setOnLoadCallback(drawVisualization); google.charts.setOnLoadCallback(drawVisualization);
function exportToSVG(i)
{
var e = document.getElementById('chart_div'+i);
var svg = e.getElementsByTagName('svg')[0].parentNode.innerHTML;
var pos = svg.lastIndexOf("</svg>");
pos += 6;
svg = svg.substring(0,4) + " xmlns='http://www.w3.org/2000/svg' xmlns:xlink= 'http://www.w3.org/1999/xlink' " + svg.substring(4,pos);
svgData = 'data:image/svg+xml;charset=utf-8,' + encodeURIComponent(svg);
$(this).attr({'href': svgData,'target': '_blank'});
}
function drawVisualization() { function drawVisualization() {
var data0 = new google.visualization.DataTable(); var data0 = new google.visualization.DataTable();
...@@ -33,10 +44,11 @@ hAxis: {title: 'X Axis'}, ...@@ -33,10 +44,11 @@ hAxis: {title: 'X Axis'},
curveType: 'function', curveType: 'function',
lineWidth: 1, lineWidth: 1,
intervals: { 'style':'area' }}; intervals: { 'style':'area' }};
$("#export_svg0").on("click", function (event) {exportToSVG.apply(this,[0]);});
var chart = new google.visualization.ComboChart(document.getElementById('chart_div0'));chart.draw(data0, options0); var chart = new google.visualization.ComboChart(document.getElementById('chart_div0'));chart.draw(data0, options0);
}</script> }</script>
</head> </head>
<body> <body>
<div id="chart_div0" style="width: 900px; height: 500px;"></div> <a href="#" download="graph1.svg" id="export_svg0"><button>Export data into svg</button></a><div id="chart_div0" style="width: 900px; height: 500px;"></div>
</body> </body>
</html> </html>
<html> <html>
<head> <head>
<script type="text/javascript" src="https://www.gstatic.com/charts/loader.js"></script> <script type="text/javascript" src="https://www.gstatic.com/charts/loader.js"></script>
<script src="https://ajax.googleapis.com/ajax/libs/jquery/1.12.4/jquery.min.js"></script>
<script type="text/javascript"> <script type="text/javascript">
google.charts.load('current', {'packages':['corechart']}); google.charts.load('current', {'packages':['corechart']});
google.charts.setOnLoadCallback(drawVisualization); google.charts.setOnLoadCallback(drawVisualization);
function exportToSVG(i)
{
var e = document.getElementById('chart_div'+i);
var svg = e.getElementsByTagName('svg')[0].parentNode.innerHTML;
var pos = svg.lastIndexOf("</svg>");
pos += 6;
svg = svg.substring(0,4) + " xmlns='http://www.w3.org/2000/svg' xmlns:xlink= 'http://www.w3.org/1999/xlink' " + svg.substring(4,pos);
svgData = 'data:image/svg+xml;charset=utf-8,' + encodeURIComponent(svg);
$(this).attr({'href': svgData,'target': '_blank'});
}
function drawVisualization() { function drawVisualization() {
var data0 = new google.visualization.DataTable(); var data0 = new google.visualization.DataTable();
...@@ -35,10 +46,11 @@ lineWidth: 1, ...@@ -35,10 +46,11 @@ lineWidth: 1,
intervals: { 'style':'area' }, intervals: { 'style':'area' },
interval: {'i2': { 'color': '#4374E0', 'style':'bars', 'lineWidth':4, 'fillOpacity':1 } } interval: {'i2': { 'color': '#4374E0', 'style':'bars', 'lineWidth':4, 'fillOpacity':1 } }
}; };
$("#export_svg0").on("click", function (event) {exportToSVG.apply(this,[0]);});
var chart = new google.visualization.ComboChart(document.getElementById('chart_div0'));chart.draw(data0, options0); var chart = new google.visualization.ComboChart(document.getElementById('chart_div0'));chart.draw(data0, options0);
}</script> }</script>
</head> </head>
<body> <body>
<div id="chart_div0" style="width: 900px; height: 500px;"></div> <a href="#" download="graph1.svg" id="export_svg0"><button>Export data into svg</button></a><div id="chart_div0" style="width: 900px; height: 500px;"></div>
</body> </body>
</html> </html>
...@@ -33,10 +33,10 @@ ...@@ -33,10 +33,10 @@
template<typename Tobj> template<typename Tobj>
struct csv_prp struct csv_prp
{ {
// String //! String containing the csv line constructed from an object
std::stringstream & str; std::stringstream & str;
// Object to write //! Object to write
Tobj & obj; Tobj & obj;
/*! \brief Constructor /*! \brief Constructor
...@@ -79,8 +79,14 @@ struct csv_prp ...@@ -79,8 +79,14 @@ struct csv_prp
template<typename Tobj, bool attr> template<typename Tobj, bool attr>
struct csv_col struct csv_col
{ {
//! String containing the colums list as string
std::stringstream & str; std::stringstream & str;
/*! \brief Constructor
*
* \str String where to put the colum list
*
*/
csv_col(std::stringstream & str) csv_col(std::stringstream & str)
:str(str) :str(str)
{ {
...@@ -113,8 +119,14 @@ struct csv_col ...@@ -113,8 +119,14 @@ struct csv_col
template<typename Tobj> template<typename Tobj>
struct csv_col<Tobj,false> struct csv_col<Tobj,false>
{ {
//! String containing the colums list as string
std::stringstream & str; std::stringstream & str;
/*! \brief Constructor
*
* \str String where to put the colum list
*
*/
csv_col(std::stringstream & str) csv_col(std::stringstream & str)
:str(str) :str(str)
{ {
...@@ -180,8 +192,8 @@ class CSVWriter ...@@ -180,8 +192,8 @@ class CSVWriter
/*! \brief Get the csv data section /*! \brief Get the csv data section
* *
* \param v_pos vector that contain the positional information * \param vp vector that contain the positional information
* \param v_prp vector that contain the property information * \param vpr vector that contain the property information
* \param offset from where to start * \param offset from where to start
* *
*/ */
...@@ -228,12 +240,11 @@ public: ...@@ -228,12 +240,11 @@ public:
* \tparam prp which properties to output [default = -1 (all)] * \tparam prp which properties to output [default = -1 (all)]
* *
* \param file path where to write * \param file path where to write
* \param v_pos positional vector * \param v positional vector
* \param v_prp properties vector * \param prp properties vector
* \param offset from where to start to write * \param offset from where to start to write
* *
*/ */
bool write(std::string file, v_pos & v , v_prp & prp, size_t offset=0) bool write(std::string file, v_pos & v , v_prp & prp, size_t offset=0)
{ {
// Header for csv (colums name) // Header for csv (colums name)
......
...@@ -375,19 +375,19 @@ struct edge_prop ...@@ -375,19 +375,19 @@ struct edge_prop
template<typename G>