Rule Expr_1

Expr 'Fun' '(' TERM_star ')' 

Description

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 Fun)
       (XML serialization of TERM_star)
     </Expr>

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