ZZFormulaInfo Struct Reference

List of all members.

Public Member Functions
	ZZFormulaInfo (const ListObj *const &fformula, const string &fformulaStr, const int &nnumPreds, const double *const &wwt, const double &ddefaultWt, const Domain *const &ddomain, MLN *const &mmln, const ZZVarNameToIdMap &vvarNameToIdMap, const StringToIntMap &pplusVarMap, const int &nnumAsterisk, const bool &hhasFullStop, const bool &rreadHardClauseWts, const bool &mmustHaveWtOrFullStop, const bool &iisIndivisible)
	~ZZFormulaInfo ()
Public Attributes
const ListObj *	formula
const string	formulaStr
const int	numPreds
const double *	wt
const double	defaultWt
const Domain *	domain
MLN *	mln
ZZVarNameToIdMap	varNameToIdMap
StringToIntMap	plusVarMap
const int	numAsterisk
const bool	hasFullStop
const bool	readHardClauseWts
const bool	mustHaveWtOrFullStop
const bool	isIndivisible

---

Detailed Description

Definition at line 334 of file folhelper.h.

---

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

• src/parser/folhelper.h

---