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