examples-learning/core_8h_source.html

 #ifndef _CORE_H_
 #define _CORE_H_

 #include <stdio.h>
 #include <math.h>

 #include "../types/model.h"
 #include "../types/examples.h"
 #include "../types/solution.h"
 #include "../types/object-index.h"
 #include "output.h"

 int nbCombi(Examples* exp, int expIndice);

 OutObject* initOutObjectWithObject(Model* mdl, Object* o);

 Solution* initAllCombi(Model* mdl, Examples* exp);

 void combiOutObjectObject(Model* mdl, OutObject* oo, Object*o);

 Solution* genAllCombi(Model* mdl, Examples* exp);

 void genAllRelations(Solution* s, Examples* e, Model* m);

 int getIndex(Examples* exp, ObjectIndex* oi);

 int isOutObjectIncludeInAnother(Model *mdl, OutObject* oo1, OutObject* oo2);

 void genGeneralization(Model *mdl, Solution* s);

 void genCounterExamples(Model* m, Examples* e, Solution* s);

 int isObjectInOutObject(Model* m, OutObject* oo, Object* o);

 #endif // _CORE_H_
initAllCombi
Solution * initAllCombi(Model *mdl, Examples *exp)
Init all combinations with last example objects.
Definition: core.c:59

genGeneralization
void genGeneralization(Model *mdl, Solution *s)
generalization of our solution(s)
Definition: core.c:258

nbCombi
int nbCombi(Examples *exp, int expIndice)
Computes the number of combinations possible for our examples from an example.
Definition: core.c:11

output.h
Contains the output functions, helpers and functions to create and display human readable strings...

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

genCounterExamples
void genCounterExamples(Model *m, Examples *e, Solution *s)
Add counter-examples to the solutions.
Definition: core.c:283

combiOutObjectObject
void combiOutObjectObject(Model *mdl, OutObject *oo, Object *o)
Combine an OutObject and an Object into an OutObject.
Definition: core.c:94

initOutObjectWithObject
OutObject * initOutObjectWithObject(Model *mdl, Object *o)
Generate a filled OutObject based on an object values.
Definition: core.c:20

genAllRelations
void genAllRelations(Solution *s, Examples *e, Model *m)
Find all the common relation between the objects.
Definition: core.c:203

isObjectInOutObject
int isObjectInOutObject(Model *m, OutObject *oo, Object *o)
Check whether an OutObject matches an object or not.
Definition: core.c:303

getIndex
int getIndex(Examples *exp, ObjectIndex *oi)
Get the index in the array where the combinations of objects are stored   : number of example-1  : in...
Definition: core.c:212

Examples
Structure that contains the examples and counter-examples of the parsed example file.
Definition: examples.h:20

isOutObjectIncludeInAnother
int isOutObjectIncludeInAnother(Model *mdl, OutObject *oo1, OutObject *oo2)
Is oo1 include in oo2?
Definition: core.c:227

Model
Contains the attributes and relations definitions found in the model file.
Definition: model.h:20

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

ObjectIndex
Stores a list of indexes When combining multiple Object, the identifier of each of them (rank in the ...
Definition: object-index.h:18

Solution
Contains all the possible solutions.
Definition: solution.h:18

genAllCombi
Solution * genAllCombi(Model *mdl, Examples *exp)
Generate all the combinations for our examples.
Definition: core.c:124