FormulaAndClauses Struct Reference

List of all members.

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

---

Detailed Description

Definition at line 148 of file mlnhelper.h.

---

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

• src/logic/mlnhelper.h

---