api/html/codac__serialize__intervals_8h_source.html

 #ifndef __CODAC_SERIALIZ_INTERVALS_H__

 #define __CODAC_SERIALIZ_INTERVALS_H__


 #include <fstream>

 #include "codac_Interval.h"

 #include "codac_IntervalVector.h"


 namespace codac

 {


   void serialize_Interval(std::ofstream& bin_file, const Interval& intv);


   void deserialize_Interval(std::ifstream& bin_file, Interval& intv);


   void deserialize_IntervalVector(std::ifstream& bin_file, IntervalVector& box);


   void serialize_IntervalVector(std::ofstream& bin_file, const IntervalVector& box);


 }


 #endif

codac_Interval.h

codac_IntervalVector.h

codac
FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function ...
Definition: codac_capd_helpers.h:9

codac::serialize_IntervalVector
void serialize_IntervalVector(std::ofstream &bin_file, const IntervalVector &box)
Creates an IntervalVector object from a binary file.

codac::serialize_Interval
void serialize_Interval(std::ofstream &bin_file, const Interval &intv)
Writes an Interval object into a binary file.

codac::deserialize_Interval
void deserialize_Interval(std::ifstream &bin_file, Interval &intv)
Creates an Interval object from a binary file.

codac::deserialize_IntervalVector
void deserialize_IntervalVector(std::ifstream &bin_file, IntervalVector &box)
Writes an IntervalVector object into a binary file.