CexObjectData Class Reference

Collaboration diagram for CexObjectData:

[legend]

List of all members.

Public Member Functions
	CexObjectData (unsigned _size)
Public Attributes
unsigned	size
CexValueData *	values

---

Detailed Description

Definition at line 328 of file FastCexSolver.cpp.

---

Constructor & Destructor Documentation

CexObjectData::CexObjectData

(

unsigned

_size

)

[inline]

Definition at line 334 of file FastCexSolver.cpp.

References size, and values.

---

Member Data Documentation

unsigned CexObjectData::size

Definition at line 330 of file FastCexSolver.cpp.

Referenced by CexObjectData(), FastCexSolver::computeTruth(), and CexData::fixValues().

CexValueData* CexObjectData::values

Definition at line 331 of file FastCexSolver.cpp.

Referenced by CexObjectData(), FastCexSolver::computeTruth(), CexData::fixValues(), and CexData::forceExprToRange().

---

The documentation for this class was generated from the following file:

• lib/Solver/FastCexSolver.cpp