he
arguments (add an entry to the justification),
and mark the atom as oriented.
<A NAME="oriented_eq"></A><HR><PRE><B>BOOL oriented_eq(<A HREF="term.html">Term</A> atom);
</B></PRE>This function checks if an atom is an oriented equality atom.
(The terms are not actually compared.  Only the mark is checked.)
<A NAME="renamable_flip_eq"></A><HR><PRE><B>BOOL renamable_flip_eq(<A HREF="term.html">Term</A> atom);
</B></PRE>This function checks if an atom is a renamable_flip equality atom.
(The terms are not act