m.html">Term</A> beta);
</B></PRE><A NAME="flip_eq"></A><HR><PRE><B>void flip_eq(<A HREF="term.html">Term</A> atom, int n);
</B></PRE>Flip an equality and update the justification of the containing clause.
<A NAME="fold_denial"></A><HR><PRE><B>Topform fold_denial(Topform c, int alpha_max);
</B></PRE><A NAME="init_paramod"></A><HR><PRE><B>void init_paramod(void);
</B></PRE><A NAME="literal_flip"></A><HR><PRE><B>Literals literal_flip(Literals a);
</B></PRE><A NAME="mark_oriented_eq"></A><HR><PRE><B>void mark_