LexComparator.cpp
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 }


bwi_kr_execution
Author(s): Matteo Leonetti, Piyush Khandelwal
autogenerated on Fri Aug 28 2015 10:14:46