-
-
Field Summary
Fields
| Modifier and Type |
Field and Description |
protected aterm.ATermAppl |
name |
-
Constructor Summary
Constructors
| Constructor and Description |
BaseDatatype(aterm.ATermAppl name) |
-
Method Summary
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
-
Method Detail
-
isEmpty
public boolean isEmpty()
- Specified by:
isEmpty in interface Datatype
Copyright © 2013. All Rights Reserved.