← Back to branch summary

~verifydtapn-contributers/verifydtapn/trunk

« back to all changes in this revision

Viewing changes to src/DiscreteVerification/DataStructures/visitor.h

  • Committer: Jiri Srba
  • Date: 2015-08-31 12:39:10 UTC
  • mfrom: (324.3.24 PTrieWorkflow)
  • Revision ID: srba@cs.aau.dk-20150831123910-qwr9g6pq7zntajhe
merged in a big branch implementing PTrie for workflow analysis

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/DiscreteVerification/DataStructures/visitor.h
 
1
/* 
 
2
 * File:   visitor.h
 
3
 * Author: Peter G. Jensen
 
4
 *
 
5
 * Created on 16 June 2015, 23:15
 
6
 */
 
7
 
 
8
#ifndef VISITOR_H
 
9
#define VISITOR_H
 
10
 
 
11
#include <stdint.h>
 
12
 
 
13
namespace ptrie
 
14
{
 
15
    template<typename T>
 
16
    class ptriepointer_t;
 
17
    
 
18
    template<typename T>
 
19
    class visitor_t
 
20
    {
 
21
    public:
 
22
        virtual bool back(int index) = 0;
 
23
        virtual bool set(int index, bool value) = 0;
 
24
        virtual bool set_remainder(int index, ptriepointer_t<T> pointer) = 0;
 
25
    };
 
26
}
 
27
 
 
28
 
 
29
#endif  /* VISITOR_H */
 
30