Go to the documentation of this file.00001 #include "LexComparator.h"
00002
00003 #include <algorithm>
00004
00005 #include <actasp/AspFluent.h>
00006
00007 using namespace std;
00008
00009 namespace actasp {
00010
00011 bool LexComparator::operator()(const list<AspFluentRef>& a, const list<AspFluentRef> &b) const {
00012 return lexicographical_compare(a.begin(),a.end(),b.begin(),b.end(),ActionComparator());
00013 }
00014
00015 bool LexComparator::operator()(const std::list<AspFluent>& a, const std::list<AspFluent> &b) const {
00016 return lexicographical_compare(a.begin(),a.end(),b.begin(),b.end(),ActionComparator());
00017 }
00018
00019 }