klee
CexObjectData Member List

This is the complete list of members for CexObjectData, including all inherited members.

CexObjectData(const CexObjectData &)CexObjectDataprivate
CexObjectData(uint64_t size)CexObjectDatainline
exactContentsCexObjectDataprivate
getExactValues(size_t index) constCexObjectDatainline
getPossibleValue(size_t index) constCexObjectDatainline
getPossibleValues(size_t index) constCexObjectDatainline
operator=(const CexObjectData &)CexObjectDataprivate
possibleContentsCexObjectDataprivate
setExactValues(size_t index, CexValueData values)CexObjectDatainline
setPossibleValue(size_t index, unsigned char value)CexObjectDatainline
setPossibleValues(size_t index, CexValueData values)CexObjectDatainline