ATerm++

PrevUpHomeNext

Function get_annotation

genspect::get_annotation —

Synopsis

aterm get_annotation(aterm t, aterm label);

Description

Retrieves annotation of t with label label. This function can be used to retrieve a specific annotation of a term. If t has no annotations, or no annotation labeled with label exists, `aterm()` is returned. Otherwise the annotation is returned.

Copyright © 2004 Wieger Wesselink

PrevUpHomeNext