Terminals

Symbol Associativity Looseness Precedence
( none 1200 1
) none 1200 1
= none 1200 1
And none 1200 1
Data none 1200 1
Exists none 1200 1
Forall none 1200 1
Fun none 1200 1
Ind none 1200 1
Naf none 1200 1
Neg none 1200 1
Or none 1200 1
Rel none 1200 1
Var none 1200 1
 


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