|
codac
1.5.7
|

Go to the source code of this file.
Namespaces | |
| 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 | |
Interval | |
| void | codac::serialize_Interval (std::ofstream &bin_file, const Interval &intv) |
| Writes an Interval object into a binary file. More... | |
| void | codac::deserialize_Interval (std::ifstream &bin_file, Interval &intv) |
| Creates an Interval object from a binary file. More... | |
IntervalVector | |
| void | codac::deserialize_IntervalVector (std::ifstream &bin_file, IntervalVector &box) |
| Writes an IntervalVector object into a binary file. More... | |
| void | codac::serialize_IntervalVector (std::ofstream &bin_file, const IntervalVector &box) |
| Creates an IntervalVector object from a binary file. More... | |