occurences.hh

Go to the documentation of this file.

#ifndef __OCCURENCES__
#define __OCCURENCES__

#include "tlib.hh"


class Occurences
{
    const int   fXVariability;      
    int         fOccurences[4];     
    bool        fMultiOcc;          
    bool        fOutDelayOcc;       
    int         fMinDelay;          
    int         fMaxDelay;          

 public:
    Occurences(int v, int r);

    Occurences* incOccurences(int v, int r, int d); 
    
    bool        hasMultiOccurences() const;         
    bool        hasOutDelayOccurences() const;      
    int         getMaxDelay() const;                
    int         getMinDelay() const;                
};


class OccMarkup
{
    Tree        fRootTree;                              
    Tree        fPropKey;                               

    void        incOcc (Tree env, int v, int r, int d, Tree t); 
    Occurences* getOcc (Tree t);                        
    void        setOcc (Tree t, Occurences* occ);       

 public:
    void        mark(Tree root);                        
    Occurences* retrieve(Tree t);                       
};



#endif