#include <TokenFactory.h>
Public Member Functions | |
bool | operator() (const GiaNode &x, const GiaNode &y) |
00109 { 00110 if (x.getSentTokens() > y.getSentTokens()) 00111 return true; 00112 if (x.getSentTokens() == y.getSentTokens()) 00113 if (x.getCapacity() < y.getCapacity()) 00114 return true; 00115 return false; 00116 }