examples.h
Go to the documentation of this file.
1 
9 #ifndef _EXAMPLES_H_
10 #define _EXAMPLES_H_
11 
12 #include "example.h"
13 
20 typedef struct Examples {
22  Vector(Example) examples;
24  Vector(Example) counterExamples;
25 } Examples;
26 
31 void initExamples(Examples* exps);
32 
37 void freeExamples(Examples* exps);
38 
39 #endif // _EXAMPLES_H_
Containins the definition of the Example.
All the objects composing an example (or a counter-example)
Definition: example.h:22
Structure that contains the examples and counter-examples of the parsed example file.
Definition: examples.h:20
struct Examples Examples
Structure that contains the examples and counter-examples of the parsed example file.
void freeExamples(Examples *exps)
Free the Examples structure.
Definition: examples.c:15
void initExamples(Examples *exps)
Initialize the Examples structure.
Definition: examples.c:10
Vector(Example) examples
Contains all the examples of the file.