examples.h File Reference

Contains the definition of the Examples. More...

#include "example.h"

Include dependency graph for examples.h:

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

Go to the source code of this file.

Data Structures
struct	Examples
	Structure that contains the examples and counter-examples of the parsed example file. More...

Typedefs
typedef struct Examples	Examples
	Structure that contains the examples and counter-examples of the parsed example file. More...

Functions
void	initExamples (Examples *exps)
	Initialize the Examples structure. More...
void	freeExamples (Examples *exps)
	Free the Examples structure. More...

Detailed Description

Contains the definition of the Examples.

Author

Bastien Philip (ebatsin)

Gaël Foppolo (gaelfoppolo)

Typedef Documentation

typedef struct Examples Examples

Structure that contains the examples and counter-examples of the parsed example file.

Each example and counter-example found in the example file is stored in this structure. Counter-examples are Example too, only the fields allow to differentiate them

Function Documentation

void freeExamples

(

Examples *

exps

)

Free the Examples structure.

Parameters

exps	A pointer to the Examples to be freed

Here is the call graph for this function:

void initExamples

(

Examples *

exps

)

Initialize the Examples structure.

Parameters

exps	A pointer to the Examples structure to be initialized

Author

Bastien Philip (ebatsin)

Gaël Foppolo (gaelfoppolo)