示例#1
0
// Adds a predicate to our list of predicates.
void TimeStepInfo::addPredicate(std::string& newPredicate, Constant *newConstType)
{
	if(predicates == NULL)
	{
		allocatePredicates();
	}
	int compareResult = 0;
	bool tmpNegated = false;
	std::string tmpInnerPredicate = "";
	int tmpMTimeStamp;
	int tmpSTimeStamp;
	// Try to extract h-style predicate info from the string. If it works, save the h-style predicate info. If not, just save the normal predicate.
	bool tmpHPredicate = Predicate::extractHPredicateInfo(
		newPredicate, tmpNegated, tmpInnerPredicate, tmpMTimeStamp, tmpSTimeStamp);
	Predicate *newPred = new Predicate();
	if(tmpHPredicate)
	{
		newPred->setName(tmpInnerPredicate);
		newPred->setTimeStamp(tmpMTimeStamp, tmpSTimeStamp);
		newPred->setBlnIsHPredicate(true);
		newPred->setBlnIsNegated(tmpNegated);
	}
	else
	{
		newPred->setName(newPredicate);
		newPred->setBlnIsNegated(tmpNegated);
	}
	// Regardless, save whatever Constant object pointer (if any) we were given.
	newPred->setConstType(newConstType);

	if(predicates->empty())
	{	// If we don't have predicates yet, make this the first.
		predicates->push_back(newPred);
	}
	else
	{	// If we already have predicates, find this new one's proper place and stick it there.
		std::list<Predicate*>::iterator lIter = predicates->begin();
		while(lIter != predicates->end())
		{
			compareResult = (*lIter)->toPredicateString(false, false).compare(newPredicate);
			if(compareResult < 0 || compareResult == 0)
			{
				// If the current element comes before the newcomer (or is the same as the newcomer), move on.
				++lIter;
			}
			else
			{
				// The current element should go after the newcomer, break and insert here.
				break;
			}
		}
		predicates->insert(lIter, newPred);
	}
}
示例#2
0
// Adds a predicate to our list of predicates, deep copying newPredicate into a freshly allocated Predicate object.
void TimeStepInfo::addPredicate(Predicate& newPredicate)
{
	if(predicates == NULL)
	{
		allocatePredicates();
	}
	std::string tempStrName = "";
	// Create a new predicate and copy the information.
	Predicate *newPred = new Predicate();
	tempStrName = newPredicate.getName();
	newPred->setName(tempStrName);
	newPred->setTimeStamp(newPredicate.getMainTimeStamp(), newPredicate.getSubTimeStamp());
	newPred->setBlnIsHPredicate(newPredicate.getBlnIsHPredicate());
	newPred->setBlnIsNegated(newPredicate.getBlnIsNegated());
	newPred->setConstType(newPredicate.getConstType());
	// Insert the new predicate in the appropriate place.
	if(predicates->empty())
	{	// If we don't have predicates yet, make this the first.
		predicates->push_back(newPred);
	}
	else
	{	// If we already have predicates, find this new one's proper place and stick it there.
		std::list<Predicate*>::iterator lIter = predicates->begin();
		int compareResult = 0;
		while(lIter != predicates->end())
		{
			tempStrName = (*lIter)->toPredicateString(false, false);
			compareResult = tempStrName.compare(newPredicate.getName());
			if(compareResult < 0 || compareResult == 0)
			{
				// If the current element comes before the newcomer (or is the same as the newcomer), move on.
				++lIter;
			}
			else
			{
				// The current element should go after the newcomer, break and insert here.
				break;
			}
		}
		predicates->insert(lIter, newPred);
	}
}