AuxClauseData Struct Reference

List of all members.

Public Member Functions
	AuxClauseData ()
	AuxClauseData (const double &ggain, const int &oop, const int &rremovedClauseIdx)
	AuxClauseData (const double &ggain, const int &oop, const int &rremovedClauseIdx, const bool &hhasBeenExpanded, const int &llastStepExpanded, const int &llastStepOverMinWeight)
	AuxClauseData (const double &ggain, const int &oop, const int &rremovedClauseIdx, const string &prevClause, const string &addedPred, const int &remPredIdx)
	~AuxClauseData ()
void	deleteCache ()
void	compress ()
double	sizeMB () const
void	reset ()
Static Public Member Functions
static void	computeFixedSizeB ()
Public Attributes
double	gain
Array< Term * > *	constTermPtrs
int	op
int	removedClauseIdx
Array< Array< Array< CacheCount * > * > * > *	cache
string	prevClauseStr
string	addedPredStr
int	removedPredIdx
bool	hasBeenExpanded
int	lastStepExpanded
int	lastStepOverMinWeight
Static Public Attributes
static double	fixedSizeB_

---

Detailed Description

Definition at line 119 of file clausehelper.h.

---

The documentation for this struct was generated from the following files:

• src/logic/clausehelper.h
• src/logic/clause.cpp

---