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 |
Definition at line 85 of file mrf.h.
1.5.1