← Back to branch summary

~tapaal-dist-ctl/verifypn/SeqCTLCompression

« back to all changes in this revision

Viewing changes to CTL/Memory/pool_dynamic_allocator.h

  • Committer: Tobias Skovgaard Jepsen
  • Date: 2016-04-01 13:59:16 UTC
  • Revision ID: tobiasj1991@gmail.com-20160401135916-s6j52t9673um7gzg
Implemented find on StateSet

Show diffs side-by-side

added added

removed removed

Lines of Context:
CTL/Memory/pool_dynamic_allocator.h
21
21
#define PREFFREE free
22
22
#endif
23
23
 
24
 
namespace Dynamicalloc
 
24
namespace pdalloc
25
25
{
26
26
    struct free_t {
27
27
        free_t* next;