1 //===-- Cell.h --------------------------------------------------*- C++ -*-===//
2 //
3 //                     The KLEE Symbolic Virtual Machine
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 
10 #ifndef KLEE_CELL_H
11 #define KLEE_CELL_H
12 
13 #include "klee/Expr/Expr.h"
14 
15 namespace klee {
16   class MemoryObject;
17 
18   struct Cell {
19     ref<Expr> value;
20   };
21 }
22 
23 #endif /* KLEE_CELL_H */
24