ATerm++

PrevUpHomeNext

Function remove_annotation

genspect::remove_annotation —

Synopsis

aterm remove_annotation(aterm t, aterm label);

Description

Remove a specific annotation from a term. This function returns a version of t which has its annotation with label label removed. If t has no annotations, or no annotation labeled with label exists, t itself is returned.

Copyright © 2004 Wieger Wesselink

PrevUpHomeNext