|
codac
1.5.7
|


Go to the source code of this file.
Classes | |
| class | codac::DynCtc |
| Contractor interface. More... | |
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. | |
Enumerations | |
| enum class | codac::TimePropag { codac::FORWARD = 0x01 , codac::BACKWARD = 0x02 } |
| Specifies the temporal propagation way (forward or backward in time) More... | |
Functions | |
| int | codac::operator& (TimePropag a, TimePropag b) |
| Allows tests on combinations of propagation ways. More... | |
| TimePropag | codac::operator| (TimePropag a, TimePropag b) |
| Allows a combination of propagation ways. More... | |