TD><A HREF="#zap_top_flip">zap_top_flip</A></TD>
</TR>
</TABLE>
<H4>Details</H4>
<A NAME="build_reflex_eq"></A><HR><PRE><B>Topform build_reflex_eq(void);
</B></PRE><A NAME="eq_tautology"></A><HR><PRE><B>BOOL eq_tautology(Topform c);
</B></PRE>This routine returns TRUE if the clause has any literals of the form t=t.
<A NAME="equational_def"></A><HR><PRE><B>int equational_def(Topform c);
</B></PRE><A NAME="equational_def_2"></A><HR><PRE><B>BOOL equational_def_2(<A HREF="term.html">Term</A> alpha, <A HREF="ter