|
|
|
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.
