Revision 9
Added by Willibald K. over 8 years ago
| AnyType.java | ||
|---|---|---|
| 33 | 33 |
/////////////////////////////////////////////// |
| 34 | 34 |
/// Special type: any (used for free variables) |
| 35 | 35 |
/// |
| 36 |
public final class AnyType extends UlyssesType
|
|
| 36 |
public final class AnyType extends Type |
|
| 37 | 37 |
{
|
| 38 | 38 |
private final ExpressionVariableIdentifier m_variableIdentifier; |
| 39 | 39 |
|
Also available in: Unified diff
remove support for Qualitative Action Systems, rename UlyssesType to Type