C++ (Cpp) Predicate::setIndex Examples

Example #1

File: PredicateTable.cpp Project: dave90/DlvGrounder1

Predicate* PredicateTable::getPredicate(index_object id) {

	Predicate p;
	p.setIndex(id);

	Predicate *p_finded = *hash.find(&p);
	return p_finded;
}

Example #2

File: PredicateTable.cpp Project: dave90/DlvGrounder1

void PredicateTable::setIdb(index_object index) {
	Predicate *p = new Predicate;
	p->setIndex(index);
	(*hash.find(p))->setIdb();
	delete p;
}

Example #3

File: PredicateTable.cpp Project: dave90/DlvGrounder1

void PredicateTable::setEdb(index_object index) {
	Predicate p;
	p.setIndex(index);
	Predicate *tmp = *hash.find(&p);
	tmp->setEdb();
}