- Added some code optimizations after using gprof.

src/scytherprof

@@ -0,0 +1,5 @@
+#!/bin/sh
+
+scons gprof=yes
+./scyther $*
+gprof --flat-profile scyther

src/termlists.c

@@ -109,25 +109,28 @@ termlistDestroy (Termlist tl)
 
 //! Determine whether a term is an element of a termlist.
 /**
+ * Term must be non-null.
+ *
  *@return True iff the term is an element of the termlist.
  */
-int
-inTermlist (Termlist tl, Term term)
-{
-  if (tl == NULL)
+__inline__ int
+inTermlist (Termlist tl, const Term term)
 {
+#ifdef DEBUG
   if (term == NULL)
-	return 1;
-      else
-	return 0;
+    {
+      error ("Trying to do inTermlist for a NULL term.");
     }
-  else
+#endif
+  while (tl != NULL)
     {
       if (isTermEqual (tl->term, term))
+	{
 	  return 1;
-      else
-	return inTermlist (tl->next, term);
 	}
+      tl = tl->next;
+    }
+  return 0;
 }
 
 //! Equality of two term lists.

src/termlists.h

@@ -28,7 +28,7 @@ Termlist termlistShallow (Termlist tl);
 void termlistDelete (Termlist tl);
 void termlistDestroy (Termlist tl);
 void termlistPrint (Termlist tl);
-int inTermlist (Termlist tl, Term term);
+int inTermlist (Termlist tl, const Term term);
 int isTermlistEqual (Termlist tl1, Termlist tl2);
 Termlist termlistAdd (Termlist tl, Term term);
 Termlist termlistAppend (const Termlist tl, const Term term);