Definition at line 2404 of file BCond.cpp.
[inline]
Definition at line 2406 of file BCond.cpp.
Definition at line 2408 of file BCond.cpp.
Referenced by PETE_apply().