codac 1.5.6
|
#include <fstream>
Go to the source code of this file.
Namespaces | |
namespace | codac |
FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function on a given box until the Hausdorff distance between two iterations is less than a given ratio. This operation can be seen as a contractor on the boundary of the solution set. | |
Functions | |
Tube | |
void | codac::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 | codac::deserialize_Tube (std::ifstream &bin_file, Tube *&tube) |
Creates a Tube object from a binary file. | |
TubeVector | |
void | codac::serialize_TubeVector (std::ofstream &bin_file, const TubeVector &tube, int version_number=SERIALIZATION_VERSION) |
Writes a TubeVector object into a binary file. | |
void | codac::deserialize_TubeVector (std::ifstream &bin_file, TubeVector *&tube) |
Creates a TubeVector object from a binary file. | |