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 Array< int > &uuniqueVarIndexes, const bool &hhasFullStop, const bool &rreadHardClauseWts, const bool &mmustHaveWtOrFullStop)
	~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
Array< int >	uniqueVarIndexes
const bool	hasFullStop
const bool	readHardClauseWts
const bool	mustHaveWtOrFullStop

---

Detailed Description

Definition at line 341 of file folhelper.h.

---

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

• src/parser/folhelper.h

---