#ifndef __treillis_h
#define __treillis_h

#include<iostream>
#include<vector>
#include<string>

using namespace std;


/* La classe concept permet de stocker un concept en mémoire.
   Elle contient l'intension et l'extension du concept ainsi
   qu'une méthode d'affichage et deux constructeurs */


class concept
{
	public:
	vector<int> extension;
	vector<int> intension;
	concept(const vector<int> & extens,const vector<int> & intens);
	concept(){};
	void afficher();
};

/* La classe relation représente une relation binaire en mémoire.
   Elle contient la relation binaire, les ensembles
   d'objets et de propriétés correspondants ainsi qu'une méthode d'affichage */

class relation
{
	public:
	vector < vector <int> > tableau;
	vector <int> objets;
	vector <int> proprietes;
	void afficher();
};

/* la classe sous-relation contient les indices des objets et propriétés
   appartenant à la sous-relation*/

class sous_relation
{
	public:
	vector <int> proprietes;
	vector <int> objets;
};

#endif