+/*drl7x added 6 15 2001 */
+
+bool lltok_isExcl_Op (lltok tok)
+{
+ return (tok->tok == TEXCL);
+}
+
+bool lltok_isTilde_Op (lltok tok)
+{
+ return (tok->tok == TTILDE);
+}
+/*end drl added */
+
+
+bool lltok_isEnsures (lltok tok)
+{
+ return (tok->tok == QPOSTCLAUSE);
+}
+
+bool lltok_isRequires (lltok tok)
+{
+ return (tok->tok == QPRECLAUSE);
+}
+