public interface ATermPlaceholder extends ATerm
| Modifier and Type | Method and Description |
|---|---|
ATerm |
getPlaceholder()
Gets the type of this placeholder.
|
equals, getAnnotation, getAnnotations, getFactory, getType, hasAnnotations, hashCode, isEqual, make, match, match, removeAnnotation, removeAnnotations, setAnnotation, setAnnotations, toString, writeToSharedTextFile, writeToTextFilegetUniqueIdentifierATerm getPlaceholder()
Copyright © 2012 CWI. All Rights Reserved.