Definition at line 143 of file clause.h.
Definition at line 144 of file clause.h.
Definition at line 145 of file clause.h.
Definition at line 146 of file clause.h.