+ return (tok->tok == TMULT);
+}
+
+bool lltok_isIncOp (lltok tok)
+{
+ return (tok->tok == INC_OP);
+}
+
+bool lltok_isDecOp (lltok tok)
+{
+ return (tok->tok == DEC_OP);
+}
+
+
+/* DRL added this function 10/23/2000 for boolean stuff */
+bool lltok_isEqOp (lltok tok)
+{
+ return (tok->tok == EQ_OP);
+}
+
+bool lltok_isNotEqOp (lltok tok)
+{
+ return (tok->tok == NE_OP);
+}
+
+/* DRL added this function 10/25/2000 for boolean stuff */
+bool lltok_isAndOp (lltok tok)
+{
+ return (tok->tok == AND_OP);
+}
+
+bool lltok_isOrOp (lltok tok)
+{
+ return (tok->tok == OR_OP);
+}
+
+bool lltok_isNotOp (lltok tok)
+{
+ return (tok->tok == TEXCL);
+}
+/*drl7x added this function 11/20/00 */
+
+bool lltok_isLt_Op (lltok tok)
+{
+ return (tok->tok == TLT);
+}
+
+bool lltok_isGt_Op (lltok tok)
+{
+ return (tok->tok == TGT);
+}
+
+bool lltok_isGe_Op (lltok tok)
+{
+ return (tok->tok == GE_OP);
+}
+
+bool lltok_isLe_Op (lltok tok)
+{
+ return (tok->tok == LE_OP);
+}
+
+/* end drl7x added */
+
+
+/*drl7x added 11 30 2000*/
+bool lltok_isPlus_Op (lltok tok)
+{
+ return (tok->tok == TPLUS);
+}
+
+bool lltok_isMinus_Op (lltok tok)
+{
+ return (tok->tok == TMINUS);
+}
+
+/*drl7x added 6 6 2001 */
+
+
+bool lltok_isAmpersand_Op (lltok tok)
+{
+ return (tok->tok == TAMPERSAND);
+}
+
+/*end drl added */
+
+/*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);