ATerm++

PrevUpHomeNext

Class aterm_place_holder

genspect::aterm_place_holder —

Synopsis

class aterm_place_holder : public genspect::aterm {
public:
  // construct/copy/destruct
  aterm_place_holder(ATermPlaceholder);
  aterm_place_holder(aterm);

  // public member functions
  aterm type();
};

Description

aterm_place_holder construct/copy/destruct

  1. aterm_place_holder(ATermPlaceholder t);
  2. aterm_place_holder(aterm type);

    Build an aterm_place_holder of a specific type. The type is taken from the type parameter.

aterm_place_holder public member functions

  1. aterm type();

    Get the type of the aterm_place_holder.

Copyright © 2004 Wieger Wesselink

PrevUpHomeNext