Predator  [unstable] git snapshot
Data Structures | Namespaces | Typedefs | Enumerations | Functions
adt_op_meta.hh File Reference
#include "util.hh"
#include "symheap.hh"

Go to the source code of this file.

Data Structures

struct  MetaOperation

Namespaces

namespace  AdtOp

Typedefs

typedef std::set< MetaOperation > TMetaOpSet
 set of meta-operations (which should be independent on each other)

Enumerations

enum  EMetaOperation {
  MO_INVALID = 0,
  MO_ALLOC,
  MO_FREE,
  MO_SET,
  MO_UNSET
}

Functions

bool operator< (const MetaOperation &a, const MetaOperation &b)
 required to be defined by the implementation of std::set
bool diffHeaps (TMetaOpSet *pDst, const SymHeap &sh1, const SymHeap &sh2)