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