Definition at line 228 of file clause.h.
Definition at line 231 of file clause.h.
Definition at line 230 of file clause.h.
Definition at line 233 of file clause.h.
Definition at line 232 of file clause.h.