12#ifndef __CODAC_SERIALIZ_TUBES_H__
13#define __CODAC_SERIALIZ_TUBES_H__
19 #define SERIALIZATION_VERSION 2
48 void serialize_Tube(std::ofstream& bin_file,
const Tube& tube,
int version_number = SERIALIZATION_VERSION);
One dimensional tube , defined as an interval of scalar trajectories.
Definition codac_Tube.h:48
n-dimensional tube , defined as an interval of n-dimensional trajectories
Definition codac_TubeVector.h:39
FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function ...
Definition codac_capd_helpers.h:9
void serialize_Tube(std::ofstream &bin_file, const Tube &tube, int version_number=SERIALIZATION_VERSION)
Writes a Tube object into a binary file (version 2)
void serialize_TubeVector(std::ofstream &bin_file, const TubeVector &tube, int version_number=SERIALIZATION_VERSION)
Writes a TubeVector object into a binary file.
void deserialize_TubeVector(std::ifstream &bin_file, TubeVector *&tube)
Creates a TubeVector object from a binary file.
void deserialize_Tube(std::ifstream &bin_file, Tube *&tube)
Creates a Tube object from a binary file.