@Override public String toString() { return _name.getName(); }
@Override public ATermAppl getTerm() { return _hasValue ? (ATermAppl) _atermValue.getArgument(0) : null; }
public static ATermList makeList(final Collection<ATermAppl> set) { ATermList list = EMPTY_LIST; for (final ATerm term : set) list = list.insert(term); return list; }
@Override public ATerm visitReal(final ATermReal arg) { voidVisitReal(arg); return arg; }
@Override public ATerm visitList(final ATermList arg) { voidVisitList(arg); return arg; }
@Override public ATerm visitBlob(final ATermBlob arg) { voidVisitBlob(arg); return arg; }
public void voidVisitBlob(final ATermBlob arg) { voidVisitATerm(arg); } }
@Override public ATerm accept(final Visitor<ATerm> v) { return v.visitBlob(this); }
@Override public ATerm visitPlaceholder(final ATermPlaceholder arg) { voidVisitPlaceholder(arg); return arg; }
@Override public ATerm accept(final Visitor<ATerm> v) { return v.visitInt(this); }
@Override public boolean isQuoted() { return _fun.isQuoted(); }
public UnrecognizedDatatypeException(final ATermAppl dt) { super("Unrecognized datatype " + dt.getName()); _dt = dt; }
public UnrecognizedDatatypeException(final ATermAppl dt) { super("Unrecognized datatype " + dt.getName()); _dt = dt; }
@Override public String toString() { return _name.getName(); }