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 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 }


bwi_kr_execution
Author(s): Matteo Leonetti, Piyush Khandelwal
autogenerated on Thu Jun 6 2019 17:57:37