example.h File Reference

Containins the definition of the Example. More...

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

Include dependency graph for example.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
struct	Example
	All the objects composing an example (or a counter-example) More...

Typedefs
typedef struct Example	Example
	All the objects composing an example (or a counter-example) More...

Functions
void	initExample (Example *exp)
	Initialize the example object. More...
void	freeExample (Example *exp, int freeItself)
	Free the example object. More...

Detailed Description

Containins the definition of the Example.

Author

Bastien Philip (ebatsin)

Gaël Foppolo (gaelfoppolo)

Typedef Documentation

typedef struct Example Example

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

An example contains all the objects linked as part of this example. It can store either example or counter-example (only the use we make of it differs between counter-example and examples)

Function Documentation

void freeExample	(	Example *	exp,
		int	freeItself
	)

Free the example object.

Parameters

exp	A pointer to the Example to be freed
freeItself	Boolean to know whether the Example is to be freed or not

Here is the call graph for this function:

Here is the caller graph for this function:

void initExample

(

Example *

exp

)

Initialize the example object.

Parameters

exp	A pointer to the Example to be initialized

Author

Bastien Philip (ebatsin)

Gaël Foppolo (gaelfoppolo)