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

#include <out-object.h>

Collaboration diagram for OutObject:

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

Contains all the attributes and relations that compose an OutObject.

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

Public Member Functions