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.