examples-learning/example_8h_source.html

 #ifndef _EXAMPLE_H_
 #define _EXAMPLE_H_

 #include "vector.h"
 #include "object.h"

 typedef struct Example {
     Vector(Object) objects;
 } Example;

 void initExample(Example* exp);

 void freeExample(Example* exp, int freeItself);

 #endif // _EXAMPLE_H_
initExample
void initExample(Example *exp)
Initialize the example object.
Definition: example.c:10

Example
All the objects composing an example (or a counter-example)
Definition: example.h:22

object.h
Contains the definition of the Object.

vector.h
Contains the definition of the vectors (dynamic & generic arrays)

Example
struct Example Example
All the objects composing an example (or a counter-example)

Object
Contains all the attributes and relations that compose an Object.
Definition: object.h:18

freeExample
void freeExample(Example *exp, int freeItself)
Free the example object.
Definition: example.c:14

Example::Vector
Vector(Object) objects
The array that contains the objects of which is composed the example (or counter-example) ...