|
An Expr represents functional expressions using a prefixed
'Fun' function symbol with zero or more TERM arguments. Its
XML serialization form is:
<rcl:Expr>
(XML serialization of Fun)
(XML serialization of TERM_star)
</rcl:Expr>
|
Copyright © 2006 ILOG, Inc.; All Rights Reserved.