| _refCount | klee::ObjectState | private |
| AddressSpace | klee::ObjectState | friend |
| concreteMask | klee::ObjectState | private |
| concreteStore | klee::ObjectState | private |
| copyOnWriteOwner | klee::ObjectState | private |
| fastRangeCheckOffset(ref< Expr > offset, unsigned *base_r, unsigned *size_r) const | klee::ObjectState | private |
| flushRangeForRead(unsigned rangeBase, unsigned rangeSize) const | klee::ObjectState | private |
| flushRangeForWrite(unsigned rangeBase, unsigned rangeSize) | klee::ObjectState | private |
| flushToConcreteStore(TimingSolver *solver, const ExecutionState &state) const | klee::ObjectState | |
| getArrayCache() const | klee::ObjectState | private |
| getObject() const | klee::ObjectState | inline |
| getUpdates() const | klee::ObjectState | private |
| initializeToRandom() | klee::ObjectState | |
| initializeToZero() | klee::ObjectState | |
| isByteConcrete(unsigned offset) const | klee::ObjectState | private |
| isByteKnownSymbolic(unsigned offset) const | klee::ObjectState | private |
| isByteUnflushed(unsigned offset) const | klee::ObjectState | private |
| knownSymbolics | klee::ObjectState | private |
| makeConcrete() | klee::ObjectState | private |
| makeSymbolic() | klee::ObjectState | private |
| markByteConcrete(unsigned offset) | klee::ObjectState | private |
| markByteFlushed(unsigned offset) | klee::ObjectState | private |
| markByteSymbolic(unsigned offset) | klee::ObjectState | private |
| markByteUnflushed(unsigned offset) | klee::ObjectState | private |
| object | klee::ObjectState | private |
| ObjectState(const MemoryObject *mo) | klee::ObjectState | |
| ObjectState(const MemoryObject *mo, const Array *array) | klee::ObjectState | |
| ObjectState(const ObjectState &os) | klee::ObjectState | |
| print() const | klee::ObjectState | |
| read(ref< Expr > offset, Expr::Width width) const | klee::ObjectState | |
| read(unsigned offset, Expr::Width width) const | klee::ObjectState | |
| read8(unsigned offset) const | klee::ObjectState | |
| read8(ref< Expr > offset) const | klee::ObjectState | private |
| readOnly | klee::ObjectState | |
| ref< ObjectState > | klee::ObjectState | friend |
| setKnownSymbolic(unsigned offset, Expr *value) | klee::ObjectState | private |
| setReadOnly(bool ro) | klee::ObjectState | inline |
| size | klee::ObjectState | |
| unflushedMask | klee::ObjectState | mutableprivate |
| updates | klee::ObjectState | mutableprivate |
| write(unsigned offset, ref< Expr > value) | klee::ObjectState | |
| write(ref< Expr > offset, ref< Expr > value) | klee::ObjectState | |
| write16(unsigned offset, uint16_t value) | klee::ObjectState | |
| write32(unsigned offset, uint32_t value) | klee::ObjectState | |
| write64(unsigned offset, uint64_t value) | klee::ObjectState | |
| write8(unsigned offset, uint8_t value) | klee::ObjectState | |
| write8(unsigned offset, ref< Expr > value) | klee::ObjectState | private |
| write8(ref< Expr > offset, ref< Expr > value) | klee::ObjectState | private |
| ~ObjectState() | klee::ObjectState | |
1.9.3