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