Revision 9
Added by Willibald K. over 8 years ago
| ExpressionKind.java | ||
|---|---|---|
| 52 | 52 |
/*unary quantors*/ |
| 53 | 53 |
forall(47), exists(48), |
| 54 | 54 |
/*Constructors*/ |
| 55 |
ListConstr(49), SetConstr(50), MapConstr(51), TupleConstr(52), ObjectConstr(53), QValConstr(54), |
|
| 55 |
ListConstr(49), SetConstr(50), MapConstr(51), TupleConstr(52), ObjectConstr(53), |
|
| 56 |
// QValConstr(54), -- no longer supported |
|
| 56 | 57 |
/* identifier */ |
| 57 | 58 |
Identifier(55), UnresolvedIdentifier(56), Type(57), |
| 58 | 59 |
/* tuple access and method call */ |
Also available in: Unified diff
remove support for Qualitative Action Systems, rename UlyssesType to Type