예제 #1
0
		void toString()
		{
			head.toString();
			cout << " :- ";
			for (unsigned int i = 0; i < PredicateList.size(); i++)
			{
				PredicateList[i].toString();
				if (i < PredicateList.size()-1)
					cout << ",";
			}
			cout << ".";
		}
예제 #2
0
bool Predicate::operator < (const Predicate &other) const {
    return (toString() < other.toString());
}