examples-learning/out-object_8h_source.html

 #ifndef _OUTOBJECT_H_
 #define _OUTOBJECT_H_

 #include "out-attribute.h"

 typedef struct OutObject {
     char* name;
     struct OutObject* generalizeBy;
     unsigned char disabled;
     Vector(OutAttribute) attributes;
     Vector(struct OutObject*) relations;
 } OutObject;

 void initOutObject(OutObject* oo);

 void freeOutObject(OutObject* oo, int freeItself);

 int haveSameRelations(OutObject* oo1, OutObject* oo2);

 int haveDisabledRelations(OutObject* oo);

 #endif // _OUTOBJECT_H_
OutObject
Contains all the attributes and relations that compose an OutObject.
Definition: out-object.h:17

initOutObject
void initOutObject(OutObject *oo)
Init the outobject.
Definition: out-object.c:10

OutObject::Vector
Vector(OutAttribute) attributes
Array of the attributes of the out object. Each attribute must be at the same index as its definition...

OutObject::name
char * name
Name of the out object.
Definition: out-object.h:19

OutObject::generalizeBy
struct OutObject * generalizeBy
Pointer to the out object that generalize this out object.
Definition: out-object.h:21

freeOutObject
void freeOutObject(OutObject *oo, int freeItself)
Free the OutObject previously initialized by initOutObject.
Definition: out-object.c:15

haveSameRelations
int haveSameRelations(OutObject *oo1, OutObject *oo2)
Test if two OutObject have the same relations.
Definition: out-object.c:27

haveDisabledRelations
int haveDisabledRelations(OutObject *oo)
Check if one of the relations of oo is disabled, recursively.
Definition: out-object.c:43

OutAttribute
Represents an attribute used by the solution and the value it holds.
Definition: out-attribute.h:24

OutObject::disabled
unsigned char disabled
If the OutObject has been disabled during the counter-example step.
Definition: out-object.h:23

out-attribute.h
Contains the definition of the OutAttribute.