Revision 9
Added by Willibald K. over 8 years ago
| StatementKind.java | ||
|---|---|---|
| 38 | 38 |
Skip(6), |
| 39 | 39 |
Abort(7), |
| 40 | 40 |
Kill(8), |
| 41 |
QualConstraint(9),
|
|
| 41 |
// QualConstraint(9), // no longer supported
|
|
| 42 | 42 |
Break (10); |
| 43 | 43 |
|
| 44 | 44 |
public final int integerValue; // do not change, this is needed by the backends! i.e. public API |
Also available in: Unified diff
remove support for Qualitative Action Systems, rename UlyssesType to Type