← Back to branch summary

~tapaal-dist-ctl/verifypn/SeqCTLCompression

« back to all changes in this revision

Viewing changes to CTL/Memory/State.h

  • Committer: Tobias Skovgaard Jepsen
  • Date: 2016-03-31 15:47:35 UTC
  • Revision ID: tobiasj1991@gmail.com-20160331154735-fzipqyj7zi9z6wlt
Fixed namespace issue

Show diffs side-by-side

added added

removed removed

Lines of Context:
CTL/Memory/State.h
28
28
#include <vector>
29
29
 
30
30
namespace PetriEngine {
31
 
    namespace Memory {
 
31
    namespace Structures {
32
32
 
33
33
        /** GeneralState class for reachability searches.
34
34
         * Used in most reachability search cases */
46
46
            void setMarking(MarkVal* m) {
47
47
                _marking = m;
48
48
            }
49
 
            
 
49
 
50
50
        private:
51
51
            MarkVal* _marking;
52
52
        };
53
53
 
54
54
    }
 
55
 
55
56
}
56
57
 
57
58
#endif //GENERALSTATE_H