AddGroundClauseStruct Struct Reference

List of all members.

Public Member Functions
	AddGroundClauseStruct (const GroundPredicateSet *const &sseenPreds, GroundPredicateSet *const &uunseenPreds, GroundPredicateHashArray *const &ggndPreds, const Array< int > *const &aallPredGndingsAreQueries, GroundClauseSet *const &ggndClausesSet, Array< GroundClause * > *const &ggndClauses, const bool &mmarkHardGndClauses, const double *const &pparentWtPtr, const int &cclauseId)
	~AddGroundClauseStruct ()
Public Attributes
const GroundPredicateSet *	seenPreds
GroundPredicateSet *	unseenPreds
GroundPredicateHashArray *	gndPreds
const Array< int > *	allPredGndingsAreQueries
GroundClauseSet *	gndClausesSet
Array< GroundClause * > *	gndClauses
const bool	markHardGndClauses
const double *	parentWtPtr
const int	clauseId

---

Detailed Description

Definition at line 85 of file mrf.h.

---

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

• src/infer/mrf.h

---