Oracle_classes.hpp

Go to the documentation of this file.

/*---------------------------------
 * Oracle_classes.hpp
 * Created on 09/03/09 by BenCello
 *---------------------------------*/


#ifndef __ORACLE_CLASSES_HPP__
#define __ORACLE_CLASSES_HPP__

#include <list>
#include <vector>
#include <iostream>
#include <utility>
#include <algorithm>
using namespace std;

/* class annonce */ // needed for friendship
class O_learner;

/* FO states class */
class O_state
{
protected:
        int statenb;
        list<O_state*> trans;
        pair<O_state*,int> suff;
        list<pair<O_state*,int> > rsuff;
public:


        O_state();
        O_state(int);
        O_state(const O_state &);
        ~O_state(){};
        


        int get_statenb();
        void set_statenb(int);
        list<O_state*> get_trans();
        pair<O_state*,int> get_suffix();
        void set_suffix(O_state*,int);
        list<pair<O_state*,int> > get_rsuff();
        


        void add_trans(O_state*);
        void add_rsuff(const pair<O_state*,int> & rsuffin);
        


        O_state* rec_upSLT(list<O_state*>*, int = 0);
        list<pair<O_state*,int> >* rec_downSLT(list<pair<O_state*,int> >*, int = 0);
        list<pair<O_state*,int> >* rec_sortSLT(list<pair<O_state*,int> >*, int = 0, int = INT_MAX);
        list<pair<O_state*,int> >* sortedSLT(int = 0, int = INT_MAX);

        


        friend ostream & operator<< (ostream &, O_state &);
};

// Sorting function based on @e  lrs
bool sort_rsuff (pair<O_state*,int>, pair<O_state*,int>);

/* FO class */
class O_oracle
{
protected:
        int size;
        vector<O_state*> state_vect;
public:


        O_oracle();
        O_oracle(const O_oracle &);
        ~O_oracle();
        
        void freestates();
        


        int get_size();
        
        void start();
        


        O_state * operator[] (int) const;
        friend ostream & operator<< (ostream &, const O_oracle &);
        
        // friends
        friend class O_learner;
};

#endif