Rule Atom_2

Atom TERM '=TERM 


Description

Equality is a special Atom represented with infix '=' between two TERMs.

Its XML serialization form is:

     <Equal>
       (XML serialization of lhs TERM)
       (XML serialization of rhs TERM)
     </Equal>
    


Copyright © 2006 ILOG, Inc.; All Rights Reserved.