Contains all the attributes and relations that compose an OutObject. More...

#include <out-object.h>

Public Member Functions

Vector (OutAttribute) attributes

Array of the attributes of the out object. Each attribute must be at the same index as its definition in the Model.

Vector (struct OutObject *) relations

Array of the relations of the out object. Each relation must be at the same index as its definition in the Model.

Data Fields

char * name

Name of the out object.

struct OutObject * generalizeBy

Pointer to the out object that generalize this out object.

unsigned char disabled

If the OutObject has been disabled during the counter-example step.

Detailed Description

---

The documentation for this struct was generated from the following file:

• types/out-object.h