Definition at line 3180 of file BCond.cpp.
[inline]
Definition at line 3182 of file BCond.cpp.
Referenced by PETE_apply().