PK_BODY_config_t

typedef int PK_BODY_config_t;

Used in:

PK_BODY_ask_config

This datatype specifies the configuration of a body.

It has the values:

    PK_BODY_config_standard_c        The body belongs to a partition, has no
                                     child bodies and has at least one region.

    PK_BODY_config_compound_c        The body belongs to a partition and either
                                     it has at least one child body or it has
                                     no regions.

    PK_BODY_config_child_c           The body belongs to a compound body, has
                                     no child bodies and has at least one
                                     region.

"Belongs to a partition" means the body will be returned by a call to
PK_PARTITION_ask_bodies for some partition in the session.

"Belongs to a compound body" means the body will be returned by a call to
PK_BODY_ask_children for some body in the session.