codac
|
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 | codac::TimePropag { codac::TimePropag::FORWARD = 0x01, codac::TimePropag::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... | |