FormulaAndClauses Struct Reference

List of all members.

Public Member Functions
	FormulaAndClauses (const string &fformula, const int &iindex, const bool &hhasExist, const bool &ttiedClauses)
	~FormulaAndClauses ()
Public Attributes
string	formula
IndexClauseHashArray *	indexClauses
int	index
bool	hasExist
bool	tiedClauses
int	numPreds
bool	isHard
double	priorMean
double	wt
bool	isExistUnique

---

Detailed Description

Definition at line 149 of file mlnhelper.h.

---

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

• src/logic/mlnhelper.h

---