30 {
return static_cast<TimePropag>(
static_cast<int>(a) &
static_cast<int>(b)); }
33 {
return static_cast<TimePropag>(
static_cast<int>(a) |
static_cast<int>(b)); }
52 case TimePropag::FWD_BWD:
Definition codac2_OctaSym.h:21
std::ostream & operator<<(std::ostream &os, const BoolInterval &x)
Streams out a BoolInterval.
Definition codac2_BoolInterval.h:131
CtcInterType< typenameC1::ContractedTypes >::Ctc operator&(const C1 &c1, const C2 &c2)
Builds an intersection contractor from two contractors.
Definition codac2_CtcInter.h:200
TimePropag
Enumeration specifying the temporal propagation way (forward or backward in time).
Definition codac2_TimePropag.h:23