#include <GiaTokenFactory.h>
Public Member Functions | |
bool | operator() (const FullGiaNodeInfo &x, const FullGiaNodeInfo &y) |
bool GiaTokenFactory::tokenCompareGiaNode::operator() | ( | const FullGiaNodeInfo & | x, | |
const FullGiaNodeInfo & | y | |||
) |
00120 { 00121 if (x.info->sentTokens > y.info->sentTokens) 00122 return true; 00123 if (x.info->sentTokens == y.info->sentTokens) 00124 if (x.node.getCapacity() < y.node.getCapacity()) //??? 00125 return true; 00126 return false; 00127 }