![]() |
genspect::aterm_place_holder —
class aterm_place_holder : public genspect::aterm { public: // construct/copy/destruct aterm_place_holder(ATermPlaceholder); aterm_place_holder(aterm); // public member functions aterm type(); };
aterm_place_holder(ATermPlaceholder t);
aterm_place_holder(aterm type);
Build an aterm_place_holder of a specific type. The type is taken from the type parameter.
Copyright © 2004 Wieger Wesselink |