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.