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