| 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 | [inline] |
| allPredGndingsAreQueries | AddGroundClauseStruct | |
| clauseId | AddGroundClauseStruct | |
| gndClauses | AddGroundClauseStruct | |
| gndClausesSet | AddGroundClauseStruct | |
| gndPreds | AddGroundClauseStruct | |
| markHardGndClauses | AddGroundClauseStruct | |
| parentWtPtr | AddGroundClauseStruct | |
| seenPreds | AddGroundClauseStruct | |
| unseenPreds | AddGroundClauseStruct | |
| ~AddGroundClauseStruct() | AddGroundClauseStruct | [inline] |
1.5.1