GroundClause Class Reference

Represents a grounded clause. More...

#include <groundclause.h>

List of all members.

Public Member Functions
	GroundClause (const Clause *const &c, GroundPredicateHashArray *const &gndPredHashArray)
	~GroundClause ()
void	deleteFoClauseFrequencies ()
void	addWt (const double &wt)
void	setWt (const double &wt)
double	getWt () const
void	setWtToHardWt ()
bool	isHardClause () const
int	getNumGroundPredicates () const
const GroundPredicate *	getGroundPredicate (const int &i, GroundPredicateHashArray *const &gndPredHashArray) const
void	appendToGndPreds (GroundPredicateHashArray *const &gndPredHashArray)
	Appends this GroundClause to all GroundPredicates in it.
bool	getGroundPredicateSense (const int &i) const
void	setGroundPredicateSense (const int &i, const bool &sense)
void	setGroundPredicateIndex (const int &i, const int &gndPredIdx)
int	getGroundPredicateIndex (const int &i) const
const Array< int > *	getGndPredIndexes () const
void	setWtToSumOfParentWts (const MLN *const &mln)
	The weight of this ground clause is set to the sum of its parent weights.
IntBoolPair *	getClauseFrequencies ()
int	getClauseFrequency (int clauseno)
void	incrementClauseFrequency (int clauseno, int increment, bool invertWt)
void	removeGndPred (const int &gndPred)
	Removes a ground predicate from this ground clause.
void	changeGndPredIndex (const int &oldIdx, const int &newIdx)
	Changes the index of a ground predicate in this ground clause.
size_t	hashCode ()
bool	same (const GroundClause *const &gc)
void	printWithoutWt (ostream &out) const
void	print (ostream &out) const
ostream &	print (ostream &out, const Domain *const &domain, const bool &withWt, const bool &asInt, const bool &withStrVar, const GroundPredicateHashArray *const &predHashArray) const
ostream &	printWithoutWt (ostream &out, const Domain *const &domain, const GroundPredicateHashArray *const &predHashArray) const
ostream &	printWithoutWtWithStrVar (ostream &out, const Domain *const &domain, const GroundPredicateHashArray *const &predHashArray) const
ostream &	printWithWtAndStrVar (ostream &out, const Domain *const &domain, const GroundPredicateHashArray *const &predHashArray) const
ostream &	print (ostream &out, const Domain *const &domain, const GroundPredicateHashArray *const &predHashArray) const
ostream &	printWithoutWtWithStrVarAndPeriod (ostream &out, const Domain *const &domain, const GroundPredicateHashArray *const &predHashArray) const
double	sizeKB ()
	Computes and returns the size of this ground clause.

---

Detailed Description

Represents a grounded clause.

Definition at line 104 of file groundclause.h.

---

Member Function Documentation

void GroundClause::appendToGndPreds

(

GroundPredicateHashArray *const &

gndPredHashArray

)

Appends this GroundClause to all GroundPredicates in it.

Parameters:

gndPredHashArray

Reference HashArray containing the GroundPredicates indexed in the GroundClause.

Definition at line 153 of file groundclause.cpp.

References Array< Type >::size().

Referenced by MRF::addUnknownGndClause().

{ 
    // For each ground pred in this clause
  for (int i = 0; i < gndPredIndexes_->size(); i++)
  {
    bool sense = ((*gndPredIndexes_)[i] > 0);
    int index = abs((*gndPredIndexes_)[i]) - 1;
      // Tell the ground pred that it occurs in this ground clause
    (*gndPredHashArray)[index]->appendGndClause(this, sense);
    //assert(ok); ok = true;  // avoid compilation warning
  }
}

void GroundClause::setWtToSumOfParentWts

(

const MLN *const &

mln

)

The weight of this ground clause is set to the sum of its parent weights.

If the weight has been inverted from the parent, this is taken into account.

Parameters:

mln

Reference MLN to which the clause indices in foClauseFrequencies_ correspond.

Definition at line 174 of file groundclause.cpp.

References MLN::getClause(), and Clause::getWt().

{
  wt_ = 0;

  IntBoolPairItr itr;
  for (itr = foClauseFrequencies_->begin();
       itr != foClauseFrequencies_->end(); itr++)
  {
    int clauseno = itr->first;
    int frequency = itr->second.first;
    bool invertWt = itr->second.second;
    double parentWeight = mln->getClause(clauseno)->getWt();
    if (invertWt) wt_ -= parentWeight*frequency;
    else wt_ += parentWeight*frequency;
  }
}

void GroundClause::removeGndPred

(

const int &

gndPred

)

[inline]

Removes a ground predicate from this ground clause.

The ground predicate at the given index is removed and the new hash code is stored.

Parameters:

gndPred

The ground predicate to be removed.

Definition at line 216 of file groundclause.h.

References Array< Type >::compress(), Array< Type >::removeItem(), and Array< Type >::size().

  {
    for (int i = 0; i < gndPredIndexes_->size(); i++)
    {
      if (gndPred == (*gndPredIndexes_)[i])
      {
        gndPredIndexes_->removeItem(i);
        gndPredIndexes_->compress();
        rehash();
        break;
      }
    }
  }

void GroundClause::changeGndPredIndex	(	const int &	oldIdx,
		const int &	newIdx
	)			[inline]

Changes the index of a ground predicate in this ground clause.

The new hash code is stored.

Parameters:

	oldIdx	Index of the ground predicate to be changed.
	newIdx	New index of the ground predicate.

Definition at line 237 of file groundclause.h.

References Array< Type >::size().

  {
    for (int i = 0; i < gndPredIndexes_->size(); i++)
    {
      if (oldIdx == (*gndPredIndexes_)[i])
      {
        (*gndPredIndexes_)[i] = newIdx;
        rehash();
        break;
      }
    }    
  }

---

The documentation for this class was generated from the following files:

• src/infer/groundclause.h
• src/infer/groundclause.cpp

---